Publications in Scientific Journals:
M. Baaz, A. Leitsch, A. Lolic:
"An abstract form of the first epsilon theorem";
Journal of Logic and Computation,
30
(2021),
8;
1447
- 1468.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1093/logcom/exaa044
Created from the Publication Database of the Vienna University of Technology.