Search results for: Marc Bezem
Fundamenta Informaticae > 2019 > Vol. 170, nr 1-3 > 1--14
Journal of Automated Reasoning > 2019 > 63 > 2 > 159-171
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2005 > Program Construction > 227-241
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 123-137
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 246-260
Lecture Notes in Computer Science > Machines, Computations, and Universality > Regular Papers > 182-192
Lecture Notes in Computer Science > Programming Languages and Systems > Session 7: Certification and Logic > 353-368
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 1. Constraint Solving > 47-61
Lecture Notes in Computer Science > Processes, Terms and Cycles: Steps on the Road to Infinity > 6-13
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Theoretical Computer Science > 2015 > 574 > Complete > 86-91
Theoretical Computer Science > 2012 > 458 > Complete > 29-48
Annals of Pure and Applied Logic > 2012 > 163 > 3 > 200-213