# 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:

- News
- Research
- Teaching
- Staff
- Martin Leucker
- Martin Blankenburg
- Gerhard Buntrock
- Lukas Convent
- Normann Decker
- Bengt-Ove Holländer
- Sebastian Hungerecker
- Karam Kharraz
- Nikolas Knickrehm
- Christian Kreutzfeldt
- Felix Lange
- Grigory Markin
- Maria Ostanina
- André Pedro
- Torben Scheffel
- Malte Schmitz
- Nina Strugalla
- Annette Stümpel
- Daniel Thoma
- Dietmar Wolf
- Open Positions

- Contact