Ganzinger

Ganzinger

Harald Ganzinger (* 31. Oktober 1950 in Werneck (Bayern); † 3. Juni 2004 in Saarbrücken) war von 1991 bis zu seinem Tod Direktor der Arbeitsgruppe „Logik der Programmierung“ am Saarbrücker Max-Planck-Institut für Informatik.

Harald Ganzinger gehört zu den meistzitierten deutschen Autoren in der Informatik und befindet sich auf Platz 1727 der CiteSeer-Liste (Stand August 2006)[1].

Inhaltsverzeichnis

Ehrungen

Harald Ganzinger wurde im Jahr 2004 für den renommierten Herbrand-Award nominiert. Der Preis wurde ihm postum verliehen.

Schriften

  • Rewrite-based equational theorem proving with selection and simplification
  • Resolution theorem proving
  • Basic paramodulation
  • Complexity analysis based on ordered resolution
  • Set constraints are the monadic class
  • DPLL (T): Fast decision procedures
  • Attribute coupled grammars

Weblinks

Einzelnachweise

  1. ↑ http://citeseer.ist.psu.edu/allcited.html
Personendaten
NAME Ganzinger, Harald
KURZBESCHREIBUNG deutscher Informatiker
GEBURTSDATUM 31. Oktober 1950
GEBURTSORT Werneck, Bayern
STERBEDATUM 3. Juni 2004
STERBEORT Saarbrücken

Wikimedia Foundation.

Игры ⚽ Поможем написать реферат

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Harald Ganzinger — (* 31. Oktober 1950 in Werneck (Bayern); † 3. Juni 2004 in Saarbrücken) war von 1991 bis zu seinem Tod Direktor der Arbeitsgruppe „Logik der Programmierung“ am Saarbrücker Max Planck Institut für Informatik. Harald Ganzinger gehört zu den… …   Deutsch Wikipedia

  • Harald Ganzinger — (October 31 1950 June 3 2004) was a German computer scientist that together with Leo Bachmair developed the superposition calculus, which is (as of 2007) used in most of the state of the art automated theorem provers for first order logic.He… …   Wikipedia

  • LNCS217 — Ganzinger/Jones (Eds.): Programs as Data Objects, Proceedings 1985, Springer Verlag 1986 …   Acronyms

  • LNCS217 — Ganzinger/Jones (Eds.): Programs as Data Objects, Proceedings 1985, Springer Verlag 1986 …   Acronyms von A bis Z

  • Max Planck Institute for Computer Science — Max Planck Institute for Informatics at Saarbrücken The Max Planck Institute for Computer Science[1] (German …   Wikipedia

  • Liste der Biografien/Gan — Biografien: A B C D E F G H I J K L M N O P Q …   Deutsch Wikipedia

  • MPII — Max Planck Institut für Informatik Sitz in Saarbrücken Kategorie: Forschungseinrichtung Träger: Max Planck Gesellschaft Rechtsform des Trägers: Eingetragener Verein …   Deutsch Wikipedia

  • MPI Informatik — Max Planck Institut für Informatik Sitz in Saarbrücken Kategorie: Forschungseinrichtung Träger: Max Planck Gesellschaft Rechtsform des Trägers: Eingetragener Verein …   Deutsch Wikipedia

  • Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… …   Wikipedia

  • List of mathematics articles (H) — NOTOC H H cobordism H derivative H index H infinity methods in control theory H relation H space H theorem H tree Haag s theorem Haagerup property Haaland equation Haar measure Haar wavelet Haboush s theorem Hackenbush Hadamard code Hadamard… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”