Freek Wiedijk

No bio available. Add one in Open Library.

Books by Freek Wiedijk (50 max)

+ shelf+ list

The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science)

2006

Freek Wiedijk

+ shelf+ list

Types for Proofs and Programs Second International Workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002, Selected Papers

2003

Herman Geuvers, Freek Wiedijk

+ shelf+ list

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings (Lecture Notes in Computer Science)

2003

Oded Maler, Amir Pnueli, Freek Wiedijk

+ shelf+ list

Hybrid Systems : Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

2003

Freek Wiedijk, Oded Maler, Amir Pnueli

+ shelf+ list

Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on the Occasion of His 60th Birthday

2024

Venanzio Capretta, Robbert Krebbers, Freek Wiedijk