( en | de | ru )

 

Disambiguation of "Geuvers, Herman"

Author of the publication

copydeleteadd this publication to your clipboard
Proviola: A Tool for Proof Re-animation.

, , , and . AISC/MKM/Calculemus, volume 6167 of Lecture Notes in Computer Science, page 440-454. Springer, (2010)

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 Keil

Herman Wehling

 

Other publications of authors with the same name

Multi-output Ranking for Automated Reasoning., , , , and . KDIR, page 42-51. SciTePress, (2011)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)Congruence Types., and . CSL, volume 1092 of Lecture Notes in Computer Science, page 36-51. Springer, (1995)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)Proviola: A Tool for Proof Re-animation., , , and . AISC/MKM/Calculemus, volume 6167 of Lecture Notes in Computer Science, page 440-454. Springer, (2010)A Wiki for Mizar: Motivation, Considerations, and Initial Prototype., , , and . AISC/MKM/Calculemus, volume 6167 of Lecture Notes in Computer Science, page 455-469. Springer, (2010)Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description., , , and . CICM, volume 8543 of Lecture Notes in Computer Science, page 435-439. Springer, (2014)Semantic Graph Kernels for Automated Reasoning., , , and . SDM, page 795-803. SIAM / Omnipress, (2011)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)Type theory and formal proof : an introduction, and . (2014)