( en | de | ru )

 

Disambiguation of "Geuvers, Herman"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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 Wehling

Herman Keil

Herman Pratikto

Herman Hindermayr

Herman Vloed

 

Other publications of authors with the same name

Strong Normalization for Truth Table Natural Deduction., , and . Fundam. Informaticae, 170 (1-3): 139-176 (2019)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)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)Explicit Substitution On the Edge of Strong Normalization., and . Theor. Comput. Sci., 211 (1-2): 375-395 (1999)A benchmark for C program verification., , , , , , , , , and . CoRR, (2019)Directed branching bisimulation via apartness and positive logic., and . CoRR, (2022)Constructive analysis, types and exact real numbers., , , and . Math. Struct. Comput. Sci., 17 (1): 3-36 (2007)Characteristics of de Bruijn's early proof checker Automath., and . CoRR, (2022)