Ganzinger, Harald, 1950-2004
Ganzinger, Harald
Ganzinger, H. (Harald), 1950-
Ganzinger, H.
Ganzinger, Harald (1950- ).
Harald Ganzinger
VIAF ID: 35028679 ( Personal )
Permalink: http://viaf.org/viaf/35028679
Preferred Forms
-
-
- 100 1 0 ‡a Ganzinger, H. ‡q (Harald), ‡d 1950-
-
-
-
- 100 1 _ ‡a Ganzinger, Harald
-
- 100 1 _ ‡a Ganzinger, Harald ‡d 1950-2004
- 100 1 _ ‡a Ganzinger, Harald ‡d 1950-2004
- 100 1 _ ‡a Ganzinger, Harald, ‡d 1950-2004
- 100 0 _ ‡a Harald Ganzinger
4xx's: Alternate Name Forms (18)
Works
Title | Sources |
---|---|
Automated complexity analysis based on ordered resolution | |
Automated deduction--CADE 16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings | |
CADE-16 | |
ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings | |
Informatik : Festschrift zum 60. Geburtstag von Günter Hotz | |
LPAR'99 | |
Optimierende Erzeugung von Übersetzerteilen aus formalen, implementierungsorientierten, schrittweise verfeinerten Sprachbeschreibungen | |
Programming Logics Essays in Memory of Harald Ganzinger | |
Programs as data objects : proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985 | |
Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings | |
RTA-96 | |
Some principles for the development of compiler descriptions from denotational language definitions |