( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Proof-Relevant Logical Relations for Name Generation.

, , и . CoRR, (2017)

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.

Martin Hofmann

Martin Hofmann

Martin Hofmann

Martin Hofmann

Martin Hofmann

 

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

Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems, , , и . KI 2007: Advances in Artificial Intelligence, том 4667 из LNCS, стр. 468--472. Springer-Verlag, (2007)Towards Formally Verifiable WCET Analysis for a Functional Programming Language, , , , , , , , , и 2 other автор(ы). (2006)6th Intl WORKSHOP ON WORST-CASE EXECUTION TIME (WCET) ANALYSIS Dresden, Germany, July 4, 2006 http://moss.csc.ncsu.edu/~mueller/wcet06 in conjunction with the 18th Euromicro Intl Conference on Real-Time Systems Dresden, Germany, July 5 - 7, 2006 http://moss.csc.ncsu.edu/~mueller/wcet06/accepted/1.html.Analytical Inductive Programming as a Cognitive Rule Acquisition Device, , и . Second Conference on Artificial General Intelligence, стр. 162--167. Atlantis Press, (2009)Graphical Structure-Oriented Search in a Hypertext System., и . DEXA, стр. 179-184. Springer-Verlag, Wien, (1992)Proof-Relevant Logical Relations for Name Generation., , и . CoRR, (2017)A Type System for Bounded Space and Functional In-Place Update--Extended Abstract.. ESOP, том 1782 из Lecture Notes in Computer Science, стр. 165-179. Springer, (2000)A Paradigm for Building Diagnostic Expert Systems by Specializing Generic Device and Reasoning Models., , , , и . IEA/AIE (Vol. 1), стр. 37-42. ACM, (1988)A Simple Model for Quotient Types.. TLCA, том 902 из Lecture Notes in Computer Science, стр. 216-234. Springer, (1995)Quantitative Models and Implicit Complexity., и . FSTTCS, том 3821 из Lecture Notes in Computer Science, стр. 189-200. Springer, (2005)Conservativity of Equality Reflection over Intensional Type Theory.. TYPES, том 1158 из Lecture Notes in Computer Science, стр. 153-164. Springer, (1995)