Hofmann, Martin, 1965-
Hofmann, Martin 1965-2018
Hofmann, Martin.
Hofmann, Martin, informaticien
Hofmann, Martin, 1965-2018, informaticien
Martin Hofmann
VIAF ID: 311385639 (Personal)
Permalink: http://viaf.org/viaf/311385639
Preferred Forms
-
- 100 1 _ ‡a Hofmann, Martin ‡d 1965-
-
- 100 1 _ ‡a Hofmann, Martin ‡d 1965-2018
-
- 100 1 0 ‡a Hofmann, Martin, ‡d 1965-
-
-
-
- 100 1 _ ‡a Hofmann, Martin, ‡d 1965-2018, ‡c informaticien
-
- 100 0 _ ‡a Martin Hofmann
4xx's: Alternate Name Forms (14)
5xx's: Related Names (4)
- 551 _ _ ‡a Erlangen ‡4 ortg ‡4 http://d-nb.info/standards/elementset/gnd#placeOfBirth
- 551 _ _ ‡a Japan ‡4 orts ‡4 http://d-nb.info/standards/elementset/gnd#placeOfDeath
- 510 2 _ ‡a Ludwig-Maximilians-Universität München ‡4 affi ‡4 http://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 551 _ _ ‡a München ‡4 ortw ‡4 http://d-nb.info/standards/elementset/gnd#placeOfActivity
Works
Title | Sources |
---|---|
Automatentheorie und Logik | |
Category theory and computer science / guest ed. J. Adámek, M. Escardó, M. Hofmann. - Amsterdam [etc.], 2003. | |
ETAPS 2011 | |
Une étude logique de l’équivalence de programmes. | |
Extensional constructs in intensional type theroy, c1997: | |
FOSSACS 2011 | |
Foundations of software science and computational structures : 14th international conference, FOSSACS 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 : proceedings | |
Logical frameworks and meta-languages : actes = proceedings of the 2nd Workshop on ..., Santa Barbara, California, USA, June 25, 2000 | |
On the infinitary proof theory of logics with fixed points | |
Réalisabilité et paramétricité dans les systèmes de types purs | |
Théorie de la preuve infinitaire pour les logiques à points fixes. | |
TLCA 2003 | |
Transformations de forcing et algèbres de monitoring. | |
Trustworthy global computing : 5th international symposium, TGC 2010, Munich, Germany, February 24-26, 2010 : revised selected papers | |
Type systems for polynomial time computation | |
Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings |