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, London, UK; 2019-09-03 - 2019-09-05; in: "Automated Reasoning with Analytic Tableaux and Related Methods. 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings", Springer, LNCS, vol.11714 (2019), ISBN: 978-3-030-29025-2; 94 - 110.

Electronic version of the publication:

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