Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
L. Kovacs, S. Robillard, A. Voronkov:
"Coming to Terms with Quantified Reasoning";
Vortrag: 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL),
Paris, France;
18.01.2017
- 20.01.2017; in: "Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)",
G. Castagna, A. Gordon (Hrg.);
ACM,
(2017),
ISBN: 978-1-4503-4660-3;
S. 260
- 270.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/3009837
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/publik_256082.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.