[Back]


Talks and Poster Presentations (without Proceedings-Entry):
C. Fermüller:
"Decision Procedure and Model Building Based on Hypersequent Calculi";
Talk: LPAR Workshop on Analytic Proof Systems, Montevideo, Uruguay; 2005-03-13.

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