Talks and Poster Presentations (with Proceedings-Entry):
P. Hozzova, L. Kovacs, A. Voronkov:
"Integer Induction in Saturation";
Talk: 28th International Conference on Automated Deduction (CADE 28),
Virtual Event;
2021-07-12
- 2021-07-15; in: "Proceedings of the 28th International Conference on Automated Deduction (CADE-28)",
A. Platzer, G. Sutcliffe (ed.);
Springer LNCS,
12669
(2021),
361
- 377.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-79876-5_21
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_302663.pdf
Created from the Publication Database of the Vienna University of Technology.