( en | de | ru )

 

Disambiguierung von "Geuvers, Herman"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Open Proofs and Open Terms: A Basis for Interactive Logic.

, und . CSL, Volume 2471 von Lecture Notes in Computer Science, Seite 537-552. Springer, (2002)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Herman Keil

Herman Wehling

Herman Pratikto

Herman Vloed

Herman Hindermayr

 

Weitere Publikationen von Autoren mit dem selben Namen

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