[Back]


Talks and Poster Presentations (without Proceedings-Entry):

A. Lolic, A. Leitsch:
"Expansion Trees from Non-Normalized Proofs with CERES";
Talk: Collegium Logicum Proof Theory: Herbrand's Theorem Revisited, Wien; 2017-05-25 - 2017-05-27.


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