The Treewidth of Proofs (bibtex)
by ,
Reference:
The Treewidth of ProofsMoritz Müller, Stefan SzeiderInformation and Computation, 2017.Note: To appear
Bibtex Entry:
@string{infcomp="Information and Computation"}
@article {MuellerSzeider17,
  author    = {Moritz M{\"{u}}ller and Stefan Szeider},
     title = {The Treewidth of Proofs},
   journal = InfComp,
   year = {2017},
   note     ={To appear},
}
Powered by bibtexbrowser