Talks and Poster Presentations (with Proceedings-Entry):

B. Lellmann:
"Linear Nested Sequents, 2-sequents and Hypersequents";
Talk: 24th International Conference, TABLEAUX 2015, Wroclaw; 2015-09-21 - 2015-09-24; in: "Automated Reasoning with Analytic Tableaux and Related Methods", H. De Nivelle (ed.); Springer LNCS, 9323 (2015), ISBN: 978-3-319-24311-5; 135 - 150.

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