Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
J. Schoisswohl, L. Kovacs:
"Automating Induction by Reflection";
Vortrag: 16th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP),
Pittsburgh, USA;
16.07.2021; in: "Proceedings of the 16th Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP)",
E. Pimentel, E. Tassi (Hrg.);
EPTCS,
337
(2021),
S. 39
- 54.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.4204/EPTCS.337.4}
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_302955.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.