Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)
Book title Buchtitel
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)
Editor Herausgeber_in
Publisher Herausgeber
ACM
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Kovacs, Laura ; Robillard, Simon ; Voronkov, Andrei ; Castagna, Giuseppe ; Gordon, Andrew D. | Coming to Terms with Quantified Reasoning | Konferenzbeitrag Inproceedings  | 2017 |