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

Publications Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gleiss, Bernhard ; Kovács, Laura ; Robillard, Simon Loop Analysis by Quantification over IterationsKonferenzbeitrag Inproceedings 2018
2Rudolph, Sebastian ; Simkus, Mantas The Triguarded Fragment of First-Order LogicKonferenzbeitrag Inproceedings 2018
3Janota, Mikolas ; Suda, Martin Towards Smarter MACE-style Model FindersKonferenzbeitrag Inproceedings2018