Talks and Poster Presentations (with Proceedings-Entry):
T. Dalmonte et al.:
"Terminating calculi and countermodels for constructive modal logics";
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",
LNAI12842
(2021),
ISBN: 978-3030860585;
391
- 408.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-86059-2_23
Created from the Publication Database of the Vienna University of Technology.