( en | de | ru )

 

Disambiguierung von "Hofmann, Martin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
08061 Executive Summary -- Types, Logics and Semantics for State.

, , , und . Types, Logics and Semantics for State, Volume 08061 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)

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.

Martin Hofmann

Martin Hofmann

Martin Hofmann

Martin Hofmann

Martin Hofmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems, , , und . KI 2007: Advances in Artificial Intelligence, Volume 4667 von LNCS, Seite 468--472. Springer-Verlag, (2007)A Paradigm for Building Diagnostic Expert Systems by Specializing Generic Device and Reasoning Models., , , , und . IEA/AIE (Vol. 1), Seite 37-42. ACM, (1988)A Simple Model for Quotient Types.. TLCA, Volume 902 von Lecture Notes in Computer Science, Seite 216-234. Springer, (1995)A Type System for Bounded Space and Functional In-Place Update--Extended Abstract.. ESOP, Volume 1782 von Lecture Notes in Computer Science, Seite 165-179. Springer, (2000)Quantitative Models and Implicit Complexity., und . FSTTCS, Volume 3821 von Lecture Notes in Computer Science, Seite 189-200. Springer, (2005)Conservativity of Equality Reflection over Intensional Type Theory.. TYPES, Volume 1158 von Lecture Notes in Computer Science, Seite 153-164. Springer, (1995)Computing With a Fixed Number of Pointers (Invited Talk)., und . FSTTCS, Volume 24 von LIPIcs, Seite 3-18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)Sound and Complete Axiomatisations of Call-by-Value Control Operators.. Math. Struct. Comput. Sci., 5 (4): 461-482 (1995)A new method for establishing conservativity of classical systems over their intuitionistic version., und . Math. Struct. Comput. Sci., 9 (4): 323-333 (1999)Typed Lambda Calculi and Applications 2003, Selected Papers., und . Fundam. Informaticae, (2005)