( en | de | ru )

 

Disambiguierung von "Geuvers, Herman"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
C-CoRN, the Constructive Coq Repository at Nijmegen.

, , und . MKM, Volume 3119 von Lecture Notes in Computer Science, Seite 88-103. Springer, (2004)

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 Vloed

Herman Pratikto

Herman Hahlo

Herman Lubenstein

Herman Widjaja

 

Weitere Publikationen von Autoren mit dem selben Namen

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)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)Constructive analysis, types and exact real numbers., , , und . Math. Struct. Comput. Sci., 17 (1): 3-36 (2007)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)