Talks and Poster Presentations (with Proceedings-Entry):

A. Ciabattoni, O. Lahav, L. Spendier, A. Zamansky:
"Automated Support for the Investigation of Paraconsistent and Other Logics";
Keynote Lecture: Symposium on Logical Foundations of Computer Science (LFCS), San Diego; 2013-01-06 - 2013-01-08; in: "Proceedings of the Symposium on Logical Foundations in Computer Science (LFCS 2013)", S. Artemov, A. Nerode (ed.); LNCS 7734 (2013), 119 - 133.

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