( en | de | ru )

 

Disambiguation of "Wiedijk, Freek"

Author of the publication

copydeleteadd this publication to your clipboard
Preface to the special issue: Constructive analysis, types and exact real numbers.

, , , and . Math. Struct. Comput. Sci., 17 (1): 1 (2007)

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 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)A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving. Logical Methods in Computer Science, (2012)Preface., , and . J. Autom. Reason., 44 (1-2): 1-2 (2010)Introduction.. The Seventeen Provers of the World, volume 3600 of Lecture Notes in Computer Science, Springer, (2006)Comparing Mathematical Provers. (2003)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)A Probabilistic Analysis of the Game of the Goose., , and . SIAM Rev., 58 (1): 143-155 (2016)"Handbook of Practical Logic and Automated Reasoning, " by John R. Harrison, Cambridge University Press, 2009.. J. Autom. Reason., 49 (1): 107-109 (2012)