Complete Sets of Reductions for Some Equational Theories (Q3938536)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complete Sets of Reductions for Some Equational Theories |
scientific article |
Statements
Complete Sets of Reductions for Some Equational Theories (English)
0 references
1981
0 references
complete unification algorithms
0 references
unique termination property
0 references
finite termination property
0 references
well-founded partial order
0 references
Boolean algebra
0 references
extension of the Knuth-Bendix algorithm for finding complete sets of reductions
0 references
theory of a finite number of associative and commutative functions
0 references
free commutative groups
0 references
commutative rings with unit
0 references
distributive lattices
0 references
