Title: On the expressibility of semi-unification problems : decidability and undecidability results
Other Titles: Die Expressibiltät von Semi-Unificationsproblemen
Language: English
Authors: Pflug, Florian 
Qualification level: Diploma
Keywords: Unification; Semi-Unification
Advisor: Baaz, Matthias 
Issue Date: 2014
Number of Pages: 62
Qualification level: Diploma
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.
URI: https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-67444
http://hdl.handle.net/20.500.12708/8403
Library ID: AC12070927
Organisation: E104 - Institut für Diskrete Mathematik und Geometrie 
Publication Type: Thesis
Hochschulschrift
Appears in Collections:Thesis

Files in this item:

Show full item record

Page view(s)

10
checked on Feb 18, 2021

Download(s)

56
checked on Feb 18, 2021

Google ScholarTM

Check


Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.