[Back]


Talks and Poster Presentations (without Proceedings-Entry):

P. Baldi:
"A proof-theoretical approach to standard completeness";
Talk: Workshop on Gentzen Systems and Beyond 3. Vienna, Wien; 2014-07-13.


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