Freek Wiedijk
Identifiers
- Open LibraryOL3179180A
Top Subjects
- Computer programming (1)
- Automatic theorem proving (1)
Books by Freek Wiedijk
Total count: 4
-
Types for Proofs and ProgramsSecond International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002, Selected PapersSpringer London, Limited2003-01-01
-
Hybrid Systems : Computation and Control6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, ProceedingsSpringer London, Limited2003-01-01
-
Seventeen Provers of the WorldForeword by Dana S. ScottSpringer London, Limited2006-01-01
-
Logics and Type Systems in Theory and PracticeEssays Dedicated to Herman Geuvers on the Occasion of His 60th BirthdaySpringer2024-01-01