Comparison of two semantic approaches to unification
| Title | Comparison of two semantic approaches to unification |
| Publication Type | Thesis |
| Year of Publication | 1996 |
| Authors | Leucker, M |
| University | RWTH Aachen |
| Thesis Type | masters |
| Abstract | The master theses compares the two most prominent semantic approaches to unifica tion. We can show that unification in primal algebras is not a direct instance of unification in monoidal theories. However, it is possible to reduce unification in a given primal algebra to unification in a corresponding monoidal theory. As by-products of this work we have shown that unification in algebras is an instance of unification modulo equational theories, and we have introduced a new notion of equivalence for equational theories. |
Bibtex:
@mastersthesis {Leucker96,
title = {Comparison of two semantic approaches to unification},
year = {1996},
school = {RWTH Aachen},
type = {masters},
abstract = {The master theses compares the two most prominent semantic approaches to unifica tion. We can show that unification in primal algebras is not a direct instance of unification in monoidal theories. However, it is possible to reduce unification in a given primal algebra to unification in a corresponding monoidal theory. As by-products of this work we have shown that unification in algebras is an instance of unification modulo equational theories, and we have introduced a new notion of equivalence for equational theories.},
author = {Martin Leucker}
}Postscript:
