[Back]


Publications in Scientific Journals:

M. Baaz, A. Lolic, A. Leitsch:
"An Abstract Form of the First Expsilon Theorem";
Journal of Logic and Computation, 30 (2020), 8; 1447 - 1468.


Created from the Publication Database of the Vienna University of Technology.