MPG.eBooks - Author Search Results

Cover Image

1

The Seventeen Provers of the World : Foreword by Dana S. Scott

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Wiedijk, Freek...”

Cover Image

2

Types for Proofs and Programs : International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24–28, 2002. Selected Papers

by Geuvers, Herman
Published 2003

Springer-Verlag Berlin Heidelberg

Other Authors: “...Wiedijk, Freek...”

Cover Image

3

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

Published 2003

Springer Berlin Heidelberg

Other Authors: “...Wiedijk, Freek...”

Cover Image

4

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

Published 2024

Springer Nature Switzerland

Other Authors: “...Wiedijk, Freek...”

Cover Image

5

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

Published 2003

Springer Berlin Heidelberg

Other Authors: “...Wiedijk, Freek...”

Cover Image

6

Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Published 2011

Springer Berlin Heidelberg

Other Authors: “...Wiedijk, Freek...”