Computational Model Theory (algorithmische Modelltheorie) und ihre Anwendungen in der Informatik

• Applicant: Professor Dr. Erich Grädel
• Subject Area: Theoretical Computer Science
• Term: from 2000 to 2009
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5280774

Ziel dieses Vorhabens ist Erforschung des Zusammenhangs von algorithmischer Komplexität und logische Definierbarkeit auf informatikrelevanten unendlichen Strukturen und damit die Erweiterung der Endlichen Modelltheorie zu einer allgemeineren computational model theory. Insbesondere soll der Ansatz der deskriptiven Komplexitätstheorie systematisch von endlichen Strukturen auf geeignete Klassen unendlicher Strukturen übertragen werden.

• DFG Programme: Research Grants