( en | de | ru )

 

Disambiguation of "Geuvers, Herman"

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.

Herman Hahlo

Herman Lubenstein

Herman Widjaja

Herman Kuipers

Herman Wehling

 

Other publications of authors with the same name

Multi-output Ranking for Automated Reasoning., , , , and . KDIR, page 42-51. SciTePress, (2011)Apartness and Distinguishing Formulas in Hennessy-Milner Logic.. A Journey from Process Algebra via Timed Automata to Model Learning, volume 13560 of Lecture Notes in Computer Science, page 266-282. Springer, (2022)Classical Natural Deduction from Truth Tables., and . TYPES, volume 269 of LIPIcs, page 2:1-2:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)The λμT-calculus., , and . Ann. Pure Appl. Log., 164 (6): 676-701 (2013)Preface., , , and . Ann. Pure Appl. Log., 156 (1): 1-2 (2008)Preface to the special issue: Constructive analysis, types and exact real numbers., , , and . Math. Struct. Comput. Sci., 17 (1): 1 (2007)Congruence Types., and . CSL, volume 1092 of Lecture Notes in Computer Science, page 36-51. Springer, (1995)Open Proofs and Open Terms: A Basis for Interactive Logic., and . CSL, volume 2471 of Lecture Notes in Computer Science, page 537-552. Springer, (2002)Proof by computation in the Coq system., and . Theor. Comput. Sci., 272 (1-2): 293-314 (2002)A Logical Framework with Explicit Conversions., and . LFM@IJCAR, volume 199 of Electronic Notes in Theoretical Computer Science, page 33-47. Elsevier, (2004)