Talks and Poster Presentations (with Proceedings-Entry):
J. Schoisswohl, L. Kovacs:
"Automating Induction by Reflection";
Talk: 16th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP),
Pittsburgh, USA;
2021-07-16; in: "Proceedings of the 16th Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP)",
E. Pimentel, E. Tassi (ed.);
EPTCS,
337
(2021),
39
- 54.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.4204/EPTCS.337.4}
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_302955.pdf
Created from the Publication Database of the Vienna University of Technology.