Harald Ganzinger

Harald 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

Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

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

  • 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

  • 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… …   Deutsch Wikipedia

  • 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

  • 1950 — Portal Geschichte | Portal Biografien | Aktuelle Ereignisse | Jahreskalender ◄ | 19. Jahrhundert | 20. Jahrhundert | 21. Jahrhundert   ◄ | 1920er | 1930er | 1940er | 1950er | 1960er | 1970er | 1980er | ► ◄◄ | ◄ | 1946 | 1947 | 1948 | 1949 |… …   Deutsch Wikipedia

  • 31. Oktober — Der 31. Oktober ist der 304. Tag des Gregorianischen Kalenders (der 305. in Schaltjahren), somit bleiben 61 Tage bis zum Jahresende. Historische Jahrestage September · Oktober · November 1 2 …   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”