Talks and Poster Presentations (with Proceedings-Entry):
"Parallel Dialogue Games and Hypersequents for Intermediate Logics";
Talk: TABLEAUX 2003, Automated Reasoning with Analytic Tableaux and Related Methods,
- 2003-09-12; in: "Automated Reasoning with Analytic Tableaux and Related Methods",
Online library catalogue of the TU Vienna:
Created from the Publication Database of the Vienna University of Technology.