THEORY OF UNIFICATION
ASHRAF MOUSTAFA KAMAL MAHMOUD;
Abstract
In this thesis we shall discuss some problems concerning to unification theory. The thesis consists of five chapters. The last chapter contains an implementation for solving unification problem and unificand problem under AC-theory. In appendix A we give this implementation.
In chapter 1 we have introduced the main concepts and definitions of first order terms, substitutions, equational unifi
-cation problem, and properties of unification algorithms. Finally
we define unification of substitutions.
In chapter 2 we have introduced three different unification algorithms for three theories. The first is the classical unifi
-cation algorithm for an empty theory. The second is the commutative unification algorithm for a finite theory. The third is associative unification algorithm for an infinite theory.
In chapter 3, we include the basic definitions for unificand problem, and the main concepts to solve this unificand problem.
In chapter 4, we define an important problem of Unification which is the unification problem in a combination of equational theories.
In chapter 5, we give an implementation for solving Solving associative-commutative unification problem, Solving system of equations under associative-commutative theory, and Solving system of equations under a combination of differnt functions symbols, each of them is an AC-theories.
In appendix A, we give the implementation of the AC-unification problems discussed in chapter 5 using pascal language.
In chapter 1 we have introduced the main concepts and definitions of first order terms, substitutions, equational unifi
-cation problem, and properties of unification algorithms. Finally
we define unification of substitutions.
In chapter 2 we have introduced three different unification algorithms for three theories. The first is the classical unifi
-cation algorithm for an empty theory. The second is the commutative unification algorithm for a finite theory. The third is associative unification algorithm for an infinite theory.
In chapter 3, we include the basic definitions for unificand problem, and the main concepts to solve this unificand problem.
In chapter 4, we define an important problem of Unification which is the unification problem in a combination of equational theories.
In chapter 5, we give an implementation for solving Solving associative-commutative unification problem, Solving system of equations under associative-commutative theory, and Solving system of equations under a combination of differnt functions symbols, each of them is an AC-theories.
In appendix A, we give the implementation of the AC-unification problems discussed in chapter 5 using pascal language.
Other data
| Title | THEORY OF UNIFICATION | Other Titles | نظرية التوحيد | Authors | ASHRAF MOUSTAFA KAMAL MAHMOUD | Issue Date | 1995 |
Attached Files
| File | Size | Format | |
|---|---|---|---|
| ASHRAF MOUSTAFA KAMAL MAHMOUD.pdf | 1.42 MB | Adobe PDF | View/Open |
Similar Items from Core Recommender Database
Items in Ain Shams Scholar are protected by copyright, with all rights reserved, unless otherwise indicated.