Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
 
Editor Herausgeber_in
 
Publisher Verlag
EasyChair EPiC
 
Series Schriftenreihe
EPiC Series in Computing
 
Volume Band
94
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Pluska, Alexander ; Zuleger, Florian Embedding Intuitionistic into Classical LogicInproceedings Konferenzbeitrag3-Jun-2023
2Hozzová, Petra ; Bendík, Jaroslav ; Nutz, Alexander ; Rodeh, Yoav Overapproximation of Non-Linear Integer Arithmetic for Smart Contract VerificationInproceedings Konferenzbeitrag 3-Jun-2023
3Bhayat, Ahmed ; Korovin, Konstantin ; Kovács, Laura ; Schoisswohl, Johannes Refining Unification with AbstractionInproceedings Konferenzbeitrag 3-Jun-2023
4Hader, Thomas ; Kaufmann, Daniela ; Kovacs, Laura SMT Solving over Finite Field ArithmeticInproceedings KonferenzbeitragJun-2023