Efficient translation of sequent calculus proofs into natural deduction proofs (bibtex)
by Gabriel Ebner, Matthias Schlaipfer
Reference:
Efficient translation of sequent calculus proofs into natural deduction proofsGabriel Ebner, Matthias SchlaipferProceedings of the 6th Workshop on Practical Aspects of Automated Reasoning (PAAR) (Boris Konev, Josef Urban, Philipp Rümmer, eds.), pages 17-33, 2018.
Bibtex Entry:
@inproceedings{EbnerSchlaipfer:PAAR2018,
  title = {Efficient translation of sequent calculus proofs into natural deduction proofs},
  author = {Gabriel Ebner and Matthias Schlaipfer},
  booktitle = {Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning (PAAR)},
  series = {CEUR Workshop Proceedings},
  number = 2162,
  year = 2018,
  editor = {Boris Konev and Josef Urban and Philipp Rümmer},
  pages = {17--33},
  issn = {1613-0073},
  url = {http://repositum.tuwien.ac.at/obvutwoa/content/titleinfo/2778051},
}
Powered by bibtexbrowser