Algebraische und logische Grundlagen der Informatik

Forschungsgebiete

  • Grundlagen der Logischen Programmierung
  • Deduktionssysteme
  • Modelltheorie nichtmonotoner Interferenzsysteme
  • Multi-Agentensysteme
  • Formale Wissensspezifikation mit Anwendungen
  • Entscheidbarkeitstheorie

Ausstattung

  • keine Angaben

letzte Änderung: 26.07.2012

Kontakt

Algebraische und logische Grundlagen der Informatik
Herre, Heinrich (Prof. Dr.)
Johannisgasse 26
04109 Leipzig
Telefon: +49 341 97-32201
Fax: +49 341 97-32209
E-Mail

Suche

Weitere Informationen

Hinweis:

Beachten Sie bitte, dass auch das gewünschte Jahr eingestellt sein muss, damit die Projekte angezeigt werden.

Hier finden Sie die Forschungsberichte bis 2007 im alten Layout.