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
 
Publisher Verlag
EasyChair EPiC Series in Computing
 
Place of publishing Erscheinungsort
57
 
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