22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
 
Series Schriftenreihe
EPiC Series in Computing
 
Volume Band
57
 

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