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

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

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Pluska, Alexander ; Zuleger, Florian Embedding Intuitionistic into Classical LogicInproceedings Konferenzbeitrag 3-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 Konferenzbeitrag Jun-2023