A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem

Baaz, Matthias; Leitsch, Alexander; Lolic, Anela

doi:10.1007/978-3-319-72056-2_4

by Matthias Baaz, Alexander Leitsch, Anela Lolic

Reference:

A Sequent-Calculus Based Formulation of the Extended First Epsilon TheoremMatthias Baaz, Alexander Leitsch, Anela LolicLogical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings (Sergei N. Artëmov, Anil Nerode, eds.), volume 10703 of Lecture Notes in Computer Science, pages 55–71, 2018, Springer.

Bibtex Entry:

@string{springer="Springer"}
@inproceedings{DBLP:conf/lfcs/BaazLL18,
  author    = {Matthias Baaz and
               Alexander Leitsch and
               Anela Lolic},
  editor    = {Sergei N. Art{\"{e}}mov and
               Anil Nerode},
  title     = {A Sequent-Calculus Based Formulation of the Extended First Epsilon
               Theorem},
  booktitle = {Logical Foundations of Computer Science - International Symposium,
               {LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10703},
  pages     = {55--71},
  publisher = {Springer},
  year      = {2018},
  doi       = {10.1007/978-3-319-72056-2_4},
}