[Back]


Talks and Poster Presentations (with Proceedings-Entry):

R. Gore et al.:
"A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic.";
Talk: TABLEAUX 2021 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Birmingham; 2021-09-06 - 2021-09-09; in: "Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, {TABLEAUX} 2021, Birmingham, UK, September 6-9, 2021, Proceedings},", LNAI12842 (2021), ISBN: 978-3030860585; 281 - 298.



"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-86059-2_17

Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_299042.pdf


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