[Back]


Contributions to Books:

M. Baaz, A. Leitsch:
"Fast cut-elimination by CERES";
in: "Proofs, Categories and Computations, Essays in Honor of Grigori Mints", S. Feferman, W. Sieg (ed.); College Publications (Kings College), 2010, ISBN: 978-1-84890-012-7, 31 - 48.


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