Dedicated to the memory of Harald Ganzinger

Author

Kolaitis, P. ; Nieuwenhuis, R. ; Podelski, A. ; Vardi, M. ; Voronkov, A. ; Waldmann, U. ; Wilhelm, R.

fYear

2004

fDate

17-17 July 2004

Abstract

A brief biography of Harald Ganzinger is given highlighting his professional achievements.

Keywords

Ganzinger, Harald; Obituaries;

fLanguage

English

Publisher

ieee

Conference_Titel

Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on

Conference_Location

Turku, Finland

ISSN

1043-6871

Print_ISBN

0-7695-2192-4

Type

DOI

10.1109/LICS.2004.1319587

Filename

1319587

Link To Document