Complete sets of unifiers and matchers in equational theories (Q1820760)
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 3995626
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Complete sets of unifiers and matchers in equational theories |
scientific article; zbMATH DE number 3995626 |
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
0 references
0 references
0.8118148446083069
0 references
0.8033507466316223
0 references
