Event name
LPAR-22 2018
 
Event type
Event for scientific audience
 
Start date
16-11-2018
End date
21-11-2018
 
Location
Awassa
Country
Ethiopia
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Gleiss, Bernhard ; Kovács, Laura ; Robillard, Simon Loop Analysis by Quantification over IterationsKonferenzbeitrag Inproceedings 23-Oct-2018
2Lolic, Anela ; Baaz, Matthias Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel LogicKonferenzbeitrag Inproceedings23-Oct-2018
3Rebola Pardo, Adrian ; Suda, Martin A Theory of Satisfiability-Preserving Proofs in SAT SolvingKonferenzbeitrag Inproceedings 23-Oct-2018
4Janota, Mikolas ; Suda, Martin Towards Smarter MACE-style Model FindersKonferenzbeitrag Inproceedings23-Oct-2018