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
-
Datum (veröffentlicht):
2014
-
Umfang:
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
Weitere Information:
Abweichender Titel laut Übersetzung der Verfasserin/des Verfassers Zsfassung in dt. Sprache
