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:
https://link.springer.com/chapter/10.1007/978-3-030-29026-9_6
Created from the Publication Database of the Vienna University of Technology.