Talks and Poster Presentations (with Proceedings-Entry):
A. Ciabattoni, R. Ramanayake, T Lang:
"Bounded sequent calculi for non-classical logics via hypersequents";
Talk: TABLEAUX 2019,
- 2019-09-05; in: "Automated Reasoning with Analytic Tableaux and Related Methods. 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings",
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.