dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Freek Wiedijk (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarko C. J. D. van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk: Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings Springer 2011
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk: Proviola: A Tool for Proof Re-animation. AISC/MKM/Calculemus 2010: 440-454
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerman Geuvers, Robbert Krebbers, James McKinna, Freek Wiedijk: Pure Type Systems without Explicit Contexts LFMTP 2010: 53-67
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk: Proviola: A Tool for Proof Re-animation CoRR abs/1005.2672: (2010)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCezary Kaliszyk, Pierre Corbineau, Freek Wiedijk, James McKinna, Herman Geuvers: A Real Semantic Web for Mathematics Deserves a Real Semantics. SemWiki 2008
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerman Geuvers, Freek Wiedijk: A Logical Framework with Explicit Conversions. Electr. Notes Theor. Comput. Sci. 199: 33-47 (2008)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBas Spitters, Herman Geuvers, Milad Niqui, Freek Wiedijk: Preface to the special issue: Constructive analysis, types and exact real numbers. Mathematical Structures in Computer Science 17(1): 1 (2007)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerman Geuvers, Milad Niqui, Bas Spitters, Freek Wiedijk: Constructive analysis, types and exact real numbers. Mathematical Structures in Computer Science 17(1): 3-36 (2007)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuís Cruz-Filipe, Herman Geuvers, Freek Wiedijk: C-CoRN, the Constructive Coq Repository at Nijmegen. MKM 2004: 88-103
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerman Geuvers, Freek Wiedijk: Types for Proofs and Programs, Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers Springer 2003
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerman Geuvers, Randy Pollack, Freek Wiedijk, Jan Zwanenburg: A Constructive Algebraic Hierarchy in Coq. J. Symb. Comput. 34(4): 271-286 (2002)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerman Geuvers, Freek Wiedijk, Jan Zwanenburg: Equational Reasoning via Partial Reflection. TPHOLs 2000: 162-178
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerman Geuvers, Freek Wiedijk, Jan Zwanenburg: A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals. TYPES 2000: 96-111

Selection of 13 from 36 records - Freek Wiedijk has 23 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page