Search results for: Gilles Dowek
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 130-144
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Algorithm Verification > 403-417
Lecture Notes in Computer Science > Automated Deduction in Classical and Non-Classical Logics > Invited Papers > 1-22
Lecture Notes in Computer Science > Rigorous Development of Complex Fault-Tolerant Systems > Train Systems > 306-325
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 136-150