Talks and Poster Presentations (with Proceedings-Entry):
C. Fermüller:
"Parallel Dialogue Games and Hypersequents for Intermediate Logics";
Talk: TABLEAUX 2003, Automated Reasoning with Analytic Tableaux and Related Methods,
Rome, Italy;
2003-09-09
- 2003-09-12; in: "Automated Reasoning with Analytic Tableaux and Related Methods",
Springer,
LNAI 2796
(2003),
ISBN: 3-540-40787-1;
48
- 64.
Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04404569
Created from the Publication Database of the Vienna University of Technology.