مرکز منطقه ای اطلاع رساني علوم و فناوري - Dedicated to the memory of Harald Ganzinger

DocumentCode :

3259973

Title :

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 :

conf

DOI :

10.1109/LICS.2004.1319587

Filename :

1319587

Link To Document :