22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)
Event name
22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)
Start date
16-11-2018
End date
21-11-2018
Location
Awassa, Ethiopia
Country
Event format Veranstaltungsformat
On Site
Date issued
Results 1-3 of 3 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Gleiss, Bernhard ; Kovács, Laura ; Robillard, Simon ; Barthe, Gilles ; Sutcliffe, Geoff ; Veanes, Margus | Loop Analysis by Quantification over Iterations | Konferenzbeitrag Inproceedings  | 2018 | |
| 2 | Rudolph, Sebastian ; Simkus, Mantas | The Triguarded Fragment of First-Order Logic | Konferenzbeitrag Inproceedings | 2018 | |
| 3 | Janota, Mikolas ; Suda, Martin | Towards Smarter MACE-style Model Finders | Konferenzbeitrag Inproceedings | 2018 |