( en | de | ru )

 

Disambiguation of "Wiedijk, Freek"

Author of the publication

copydeleteadd this publication to your clipboard
C-CoRN, the Constructive Coq Repository at Nijmegen.

, , and . MKM, volume 3119 of Lecture Notes in Computer Science, page 88-103. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Freek Stulp

Freek Leistra

Carsten Freek

Freek Prins

 

Other publications of authors with the same name

Deduction using the ProofWeb system, , , , , and . ICIS--R08016. Radboud University Nijmegen, (September 2008)Proof-checking Euclid., , and . Ann. Math. Artif. Intell., 85 (2-4): 213-257 (2019)Separation Logic for Non-local Control Flow and Block Scope Variables., and . FoSSaCS, volume 7794 of Lecture Notes in Computer Science, page 257-272. Springer, (2013)Mizar's Soft Type System.. TPHOLs, volume 4732 of Lecture Notes in Computer Science, page 383-399. Springer, (2007)Proviola: A Tool for Proof Re-animation., , , and . AISC/MKM/Calculemus, volume 6167 of Lecture Notes in Computer Science, page 440-454. Springer, (2010)Preface., , and . J. Autom. Reason., 44 (1-2): 1-2 (2010)Equational Reasoning via Partial Reflection., , and . TPHOLs, volume 1869 of Lecture Notes in Computer Science, page 162-178. Springer, (2000)Comparing Mathematical Provers. (2003)Introduction.. The Seventeen Provers of the World, volume 3600 of Lecture Notes in Computer Science, Springer, (2006)A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals., , and . TYPES, volume 2277 of Lecture Notes in Computer Science, page 96-111. Springer, (2000)