Pflug, F. (2014). On the expressibility of semi-unification problems : decidability and undecidability results [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2014.26623
E104 - Institut für Diskrete Mathematik und Geometrie
-
Date (published):
2014
-
Number of Pages:
62
-
Keywords:
Unification; Semi-Unification
en
Abstract:
The Semi-Unification Problem is a generalization of the well known Unification Problem. This thesis provides a modified version of the original undecidability result. The argument is focused on path equationes. This is the first transparent proof known.
en
Additional information:
Abweichender Titel laut Übersetzung der Verfasserin/des Verfassers Zsfassung in dt. Sprache
