Search results for: Maria Paola Bonacina
Lecture Notes in Computer Science > Frontiers of Combining Systems > Logics, Theories, and Decision Procedures I > 65-80
Journal of Automated Reasoning > 2017 > 59 > 2 > 165-218
Lecture Notes in Computer Science > Automated Deduction – CADE-21 > Session 6. Satisfiability Modulo Theories > 199-214
Lecture Notes in Computer Science > Design and Implementation of Symbolic Computation Systems > 272-287
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 2. Combinations and Extensions > 35-50
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 1-16
Journal of Automated Reasoning > 2016 > 56 > 2 > 113-141
Journal of Automated Reasoning > 2015 > 54 > 1 > 69-97
Journal of Automated Reasoning > 2015 > 54 > 4 > 353-390