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

Event name
24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
 
Event type
Event for scientific audience
 
Start date
04-06-2023
End date
09-06-2023
 
Location
Manizales
Country
Colombia
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Hozzová, Petra ; Bendík, Jaroslav ; Nutz, Alexander ; Rodeh, Yoav Overapproximation of Non-Linear Integer Arithmetic for Smart Contract VerificationInproceedings Konferenzbeitrag 3-Jun-2023
2Hader, Thomas ; Kaufmann, Daniela ; Kovacs, Laura SMT Solving over Finite Field ArithmeticInproceedings Konferenzbeitrag Jun-2023