Titelaufnahme

Titel
On the expressibility of semi-unification problems : decidability and undecidability results / von Florian Pflug
VerfasserPflug, Florian
Begutachter / BegutachterinBaaz, Matthias
Erschienen2014
UmfangIV, 62 S.
HochschulschriftWien, Techn. Univ., Dipl.-Arb., 2014
Anmerkung
Zsfassung in dt. Sprache
SpracheEnglisch
DokumenttypDiplomarbeit
Schlagwörter (EN)Unification / Semi-Unification
URNurn:nbn:at:at-ubtuw:1-67444 Persistent Identifier (URN)
Zugriffsbeschränkung
 Das Werk ist frei verfügbar
Dateien
On the expressibility of semi-unification problems [0.63 mb]
Links
Nachweis
Klassifikation
Zusammenfassung (Englisch)

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.