Univ.-Prof. Dr. Clemens Lautemann - Forschungsprojekte

Ausdrucksstärke eingebauter Relationen
Lautemann, Clemens; (1998 - 2001)

Logiken für lineare Zeit
Lautemann, Clemens; (1997 - 1999)

Logische Unterteilung von NP (ARC)
Lautemann, Clemens; (1994 - 1996)

Logische Definierbarkeit von NP-Optimierungsproblemen
Lautemann, Clemens; (1991 - 1992)

Graphenalgorithmen zur Optimierung von Sendernetzen (gemeinsam mit Musikwissenschaften)
Lautemann, Clemens;