Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Arbeitsgruppe Theoretische Informatik

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

Staudinger Weg 9, 55128 Mainz
Forschungsprojekte

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