[Back]


Talks and Poster Presentations (with Proceedings-Entry):
A. Ciabattoni, P. Maffezioli, L. Spendier:
"Hypersequent and Labelled Calculi for Intermediate Logics";
Keynote Lecture: Tableaux 2013, Nancy; 2013-09-16 - 2013-09-19; in: "Tableaux 2013", D. Galmiche, D. Larchey-Wendling (ed.); LNCS 8123 (2013), 81 - 96.

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