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.