( 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

A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving. Logical Methods in Computer Science, (2012)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)Comparing Mathematical Provers. (2003)Introduction.. The Seventeen Provers of the World, volume 3600 of Lecture Notes in Computer Science, Springer, (2006)Preface., , and . J. Autom. Reason., 44 (1-2): 1-2 (2010)A Constructive Algebraic Hierarchy in Coq., , , and . J. Symb. Comput., 34 (4): 271-286 (2002)Equational Reasoning via Partial Reflection., , and . TPHOLs, volume 1869 of Lecture Notes in Computer Science, page 162-178. Springer, (2000)Uniform Algebraic Specifications of Finite Sets with Equality., , and . Int. J. Found. Comput. Sci., 2 (1): 43-65 (1991)Stateless HOL. TYPES, volume 53 of EPTCS, page 47-61. (2009)Hierarchical Reflection., and . TPHOLs, volume 3223 of Lecture Notes in Computer Science, page 66-81. Springer, (2004)