Search results for: David Delahaye
Lecture Notes in Computer Science > Logic for Programming and Automated Reasoning > Specification and automatic proof-assistants > 85-95
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 151-165
Lecture Notes in Computer Science > Software Engineering and Formal Methods > Regular Papers > 253-268
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 164-181
Lecture Notes in Computer Science
Software & Systems Modeling > 2015 > 14 > 1 > 101-119
Innovations in Systems and Software Engineering > 2008 > 4 > 3 > 267-274
Electronic Notes in Theoretical Computer Science > 2006 > 151 > 1 > 57-73
Journal of Symbolic Computation > 2005 > 39 > 5 > 569-592
Electronic Notes in Theoretical Computer Science > 2002 > 70 > 2 > 1-14