Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
R. Gore, R. Ramanayake et al.:
"Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq";
Vortrag: TABLEAUX 2021 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods,
Birmingham;
06.09.2021
- 09.09.2021; in: "Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, {TABLEAUX} 2021, Proceedings}",
LNAI12842
(2021),
ISBN: 978-3030860585;
S. 299
- 313.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-86059-2_18
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_299043.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.