( en | de | ru )

 

Disambiguation of "Geuvers, Herman"

Author of the publication

copydeleteadd this publication to your clipboard
Multi-output Ranking for Automated Reasoning.

, , , , and . KDIR, page 42-51. SciTePress, (2011)

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 Keil

Herman Wehling

Herman Pratikto

Herman Hindermayr

Herman Vloed

 

Other publications of authors with the same name

Conservativity between Logics and Typed lambda Calculi.. TYPES, volume 806 of Lecture Notes in Computer Science, page 79-107. Springer, (1993)A Logically Saturated Extension of lambdaµµ., , and . Calculemus/MKM, volume 5625 of Lecture Notes in Computer Science, page 405-421. Springer, (2009)Automated Machine-Checked Hybrid System Safety Proofs., , , and . ITP, volume 6172 of Lecture Notes in Computer Science, page 259-274. Springer, (2010)From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions., and . MFCS, volume 4162 of Lecture Notes in Computer Science, page 39-57. Springer, (2006)Explicit Substitution On the Edge of Strong Normalization., and . Theor. Comput. Sci., 211 (1-2): 375-395 (1999)Constructive analysis, types and exact real numbers., , , and . Math. Struct. Comput. Sci., 17 (1): 3-36 (2007)Strong Normalization for Truth Table Natural Deduction., , and . Fundam. Informaticae, 170 (1-3): 139-176 (2019)A benchmark for C program verification., , , , , , , , , and . CoRR, (2019)Directed branching bisimulation via apartness and positive logic., and . CoRR, (2022)Characteristics of de Bruijn's early proof checker Automath., and . CoRR, (2022)