Complete sets of unifiers and matchers in equational theories (Q1820760)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complete sets of unifiers and matchers in equational theories |
scientific article |
Statements
Complete sets of unifiers and matchers in equational theories (English)
0 references
1986
0 references
An abstract framework to present unification and matching problems is proposed. The nonexistence of complete sets of minimal unifiers (and matchers) in some equational theories, even regular, is proved. The paper (a preliminary version was presented at CAAP '83 [Lect. Notes Comput. Sci. 159, 205-220 (1983; Zbl 0545.03003)]) is also a good review of previous work related to the afore-mentioned problems and contains an excellent list of references.
0 references
unification
0 references
matching
0 references
equational theories
0 references
