( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Type-Based Analysis of Logarithmic Amortised Complexity.

, , , , и . CoRR, (2021)

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

 

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

Automatic Construction of XSL Templates -- An Inductive Programming Approach. University of Bamberg, (2007)Module: A Modular Programming Environment in Prolog., , , , , и . ISMIS, стр. 73-80. North-Holland/Elsevier, (1987)Kontext-adaptive Fahrerinformationssysteme am Beispiel eines Navigationssystems, , , , и . KI -- Künstliche Intelligenz, 2007 (3): 57-63 (2007)Effect-Dependent Transformations for Concurrent Programs., , и . CoRR, (2015)Amortised Resource Analysis and Typed Polynomial Interpretations., и . RTA-TLCA, том 8560 из Lecture Notes in Computer Science, стр. 272-286. Springer, (2014)Bounded Linear Logic, Revisited., и . TLCA, том 5608 из Lecture Notes in Computer Science, стр. 80-94. Springer, (2009)Abstract Effects and Proof-Relevant Logical Relations, , и . CoRR, (2012)An Implementation of Deflate in Coq., и . FM, том 9995 из Lecture Notes in Computer Science, стр. 612-627. (2016)Elimination of Ghost Variables in Program Logics., и . TGC, том 4912 из Lecture Notes in Computer Science, стр. 1-20. Springer, (2007)Igor2 -- An Inductive Functional Programming Prototype, и . System Demonstrations of the 18th European Conference on Artificial Intelligence, (2008)