Talks and Poster Presentations (with Proceedings-Entry):
L. Kovacs, S. Robillard, A. Voronkov:
"Coming to Terms with Quantified Reasoning";
Talk: 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL),
Paris, France;
2017-01-18
- 2017-01-20; in: "Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)",
G. Castagna, A. Gordon (ed.);
ACM,
(2017),
ISBN: 978-1-4503-4660-3;
260
- 270.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/3009837
Electronic version of the publication:
http://publik.tuwien.ac.at/files/publik_256082.pdf
Created from the Publication Database of the Vienna University of Technology.