Talks and Poster Presentations (with Proceedings-Entry):
A. Ciabattoni:
"Analytic Calculi for Non-Classical Logics: Theory and Applications";
Talk: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016,
Marseille;
2016-08-29
- 2016-09-01; in: "25th EACSL Annual Conference on Computer Science Logic (CSL 2016)",
62
(2016),
ISBN: 978-3-95977-022-4.
Electronic version of the publication:
http://publik.tuwien.ac.at/files/publik_255914.pdf
Created from the Publication Database of the Vienna University of Technology.