Beweistheorie und Rekursionstheorie

Es wurden Reduktionslängen gewisser Klassen terminierender Termersetzungssysteme mit beweistheoretischen Methoden klassifiziert. Insbesondere konnten für einfach terminierende und unter der Knuth Bendix Ordnung terminierende Termersetzungssysteme optimale Schranken erzielt werden. Das Projekt ist inzwischen abgeschlossen, wird aber unter dem Forschungsgebiet Termersetzungssysteme weitergeführt.

Drittmittelgeber:

Deutsche Forschungsgemeinschaft

Beteiligte Wissenschaftler:

Dipl. Math. I. Lepper, Prof. Dr. A. Weiermann