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},
}