Complete Sets of Reductions for Some Equational Theories (Q3938536)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 3754083
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Complete Sets of Reductions for Some Equational Theories |
scientific article; zbMATH DE number 3754083 |
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
