Search results for: Peter Schneider-Kamp
Journal of Automated Reasoning > 2019 > 63 > 3 > 695-722
Annals of Mathematics and Artificial Intelligence > 2018 > 83 > 3-4 > 213-246
Journal of Computer and System Sciences > 2017 > 84 > C > 185-204
Journal of Automated Reasoning > 2017 > 59 > 4 > 425-454
Formal Aspects of Computing > 2017 > 29 > 3 > 559-579
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Interpolations and SAT-Solvers > 189-204
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 11. Rewriting > 636-651
Journal of Automated Reasoning > 2017 > 58 > 1 > 33-65
Journal of Automated Reasoning > 2017 > 58 > 1 > 3-31
Journal of Computer and System Sciences > 2016 > 82 > 3 > 551-563
Lecture Notes in Computer Science > Frontiers of Combining Systems > Section 2. Technical Papers > 267-282
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2010 > Part 2. Regular Papers > 71-84
Lecture Notes in Computer Science > Frontiers of Combining Systems > Combination Issues in Rewriting and Programming > 216-231
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 217-232
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 30-44
Lecture Notes in Computer Science > Automated Deduction – CADE-21 > Session 12. Termination > 443-459