( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
C-CoRN, the Constructive Coq Repository at Nijmegen.

, , и . MKM, том 3119 из Lecture Notes in Computer Science, стр. 88-103. Springer, (2004)

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.

Herman Keil

Herman Wehling

Herman Pratikto

Herman Vloed

Herman Hindermayr

 

Другие публикации лиц с тем же именем

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