Talks and Poster Presentations (with Proceedings-Entry):
M. Hajdu, P. Hozzova, L. Kovacs, A. Voronkov:
"Induction with Recursive Definitions in Superposition";
Talk: Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021,
New Haven, Connecticut, USA;
2021-10-19
- 2021-10-22; in: "Proceedings of the 21st International Conference on Formal Methods in Computer Aided Design (FMCAD)",
R. Piskac, M. Wahlen (ed.);
TU Wien Academic Press,
2
(2021),
ISBN: 978-3-85448-046-4;
1
- 10.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.34727/2021/isbn.978-3-85448-046-4_34
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_302695.pdf
Created from the Publication Database of the Vienna University of Technology.