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