Proceedings of the 16th International Conference on Logic for Programming, Arti cial Intelligence and Reasoning (LPAR-16)
Book title Buchtitel
Proceedings of the 16th International Conference on Logic for Programming, Arti cial Intelligence and Reasoning (LPAR-16)
Publisher Herausgeber
Springer LNAI 6355
Place of publishing Erscheinungsort
Springer
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Blanc, Regis ; Henzinger, Thomas A. ; Hottelier, Thibaud ; Kovacs, Laura | ABC: Algebraic Bound Computation for Loops | Konferenzbeitrag Inproceedings | 2010 |