[Back]


Publications in Scientific Journals:

M. Baaz, A. Leitsch:
"Cut-Elimination: Syntax and Semantics";
Studia Logica, 102 (2014), 6; 1217 - 1244.


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