Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Univ.-Prof. Dr. Clemens Lautemann

Institut für Informatik, Johannes Gutenberg-Universität Mainz

Staudinger Weg 9
  • 06131/39-23334; 3923378 (Sekr)
  • 06131/39-23534
Forschungsprojekte
PDF | RTF

1998 - 2001

Ausdrucksstärke eingebauter Relationen

1997 - 1999

Logiken für lineare Zeit

1994 - 1996

Logische Unterteilung von NP (ARC)

1991 - 1992

Logische Definierbarkeit von NP-Optimierungsproblemen

Graphenalgorithmen zur Optimierung von Sendernetzen (gemeinsam mit Musikwissenschaften)