Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Freek Wiedijk
2010 – today
- 2013
[c20]Robbert Krebbers, Freek Wiedijk: Separation Logic for Non-local Control Flow and Block Scope Variables. FoSSaCS 2013: 257-272- 2012
- [j13]Freek Wiedijk: A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving. Logical Methods in Computer Science 8(1) (2012)
- [j12]
- [j11]Freek Wiedijk: "Handbook of Practical Logic and Automated Reasoning, " by John R. Harrison, Cambridge University Press, 2009. J. Autom. Reasoning 49(1): 107-109 (2012)
- 2011
- [c19]Robbert Krebbers, Freek Wiedijk: A Formalization of the C99 Standard in HOL, Isabelle and Coq. Calculemus/MKM 2011: 301-303
- [e4]Marko C. J. D. van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk (Eds.): Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings. Lecture Notes in Computer Science 6898, Springer 2011, ISBN 978-3-642-22862-9
- 2010
- [j10]
- [c18]Carst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk: Proviola: A Tool for Proof Re-animation. AISC/MKM/Calculemus 2010: 440-454
- [c17]Herman Geuvers, Robbert Krebbers, James McKinna, Freek Wiedijk: Pure Type Systems without Explicit Contexts. LFMTP 2010: 53-67
- [i1]Carst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk: Proviola: A Tool for Proof Re-animation. CoRR abs/1005.2672 (2010)
2000 – 2009
- 2009
- [c16]
- 2008
- [j9]Herman Geuvers, Freek Wiedijk: A Logical Framework with Explicit Conversions. Electr. Notes Theor. Comput. Sci. 199: 33-47 (2008)
- [c15]Cezary Kaliszyk, Pierre Corbineau, Freek Wiedijk, James McKinna, Herman Geuvers: A Real Semantic Web for Mathematics Deserves a Real Semantics. SemWiki 2008
- [c14]
- [e3]Serge Autexier, John A. Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk (Eds.): Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings. Lecture Notes in Computer Science 5144, Springer 2008, ISBN 978-3-540-85109-7
- 2007
- [j8]Bas 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)
- [j7]Herman Geuvers, Milad Niqui, Bas Spitters, Freek Wiedijk: Constructive analysis, types and exact real numbers. Mathematical Structures in Computer Science 17(1): 3-36 (2007)
- [c13]Cezary Kaliszyk, Freek Wiedijk: Certified Computer Algebra on Top of an Interactive Theorem Prover. Calculemus/MKM 2007: 94-105
- [c12]
- 2006
- [j6]Freek Wiedijk: Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics. J. Applied Logic 4(4): 622-645 (2006)
- [c11]
- [e2]Freek Wiedijk (Ed.): The Seventeen Provers of the World, Foreword by Dana S. Scott. Lecture Notes in Computer Science 3600, Springer 2006, ISBN 3-540-30704-4
- 2005
- [j5]Michael Beeson, Freek Wiedijk: The meaning of infinity in calculus and computer algebra systems. J. Symb. Comput. 39(5): 523-538 (2005)
- 2004
- [c10]Luís Cruz-Filipe, Herman Geuvers, Freek Wiedijk: C-CoRN, the Constructive Coq Repository at Nijmegen. MKM 2004: 88-103
- [c9]
- 2003
- [c8]
- [c7]
- [c6]
- [e1]Herman Geuvers, Freek Wiedijk (Eds.): Types for Proofs and Programs, Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers. Lecture Notes in Computer Science 2646, Springer 2003, ISBN 3-540-14031-X
- 2002
- [j4]
- [j3]Markus Wenzel, Freek Wiedijk: A Comparison of Mizar and Isar. J. Autom. Reasoning 29(3-4): 389-411 (2002)
- [j2]Herman Geuvers, Randy Pollack, Freek Wiedijk, Jan Zwanenburg: A Constructive Algebraic Hierarchy in Coq. J. Symb. Comput. 34(4): 271-286 (2002)
- [c5]Michael Beeson, Freek Wiedijk: The Meaning of Infinity in Calculus and Computer Algebra Systems. AISC 2002: 246-258
- 2001
- [c4]
- 2000
- [c3]Herman Geuvers, Freek Wiedijk, Jan Zwanenburg: Equational Reasoning via Partial Reflection. TPHOLs 2000: 162-178
- [c2]Herman Geuvers, Freek Wiedijk, Jan Zwanenburg: A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals. TYPES 2000: 96-111
1990 – 1999
- 1991
- [j1]Jan A. Bergstra, Sjouke Mauw, Freek Wiedijk: Uniform Algebraic Specifications of Finite Sets with Equality. Int. J. Found. Comput. Sci. 2(1): 43-65 (1991)
1980 – 1989
- 1989
- [c1]Sjouke Mauw, Freek Wiedijk: Specification of the Transit Node in PSFd. Algebraic Methods 1989: 341-361
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-19 20:12 CET by the dblp team