Project without external funding

Unifikation in Gleichheitstheorien


Project Details
Project duration: 10/198906/1999


Abstract
Das Unifikationsproblem einer Gleichheitstheorie E ist das Problem
zu entscheiden, ob ein endliches System von Gleichungen in E loesbar
ist, und im positiven Fall ein vollstaendiges Loesungssystem zu
bestimmen. Dieses Problem ist i.a. algorithmisch nicht loesbar,
selbst wenn die Gleichheitstheorie E durch ein endliches vollstaendiges
Termersetzungssystem beschrieben wird. Einschraenkungen fuer E werden
untersucht, die das Unifikationsproblem fuer E loesbar machen.


Principal Investigator

Last updated on 2017-11-07 at 14:01