Characterizations of unification type zero
- 1 January 1989
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A note on unification type zeroInformation Processing Letters, 1988
- Unification in varieties of idempotent semigroupsSemigroup Forum, 1987
- On equational theories, unification and decidabilityPublished by Springer Nature ,1987
- The theory of idempotent semigroups is of unification type zeroJournal of Automated Reasoning, 1986
- Unification under associativity and idempotence is of type nullaryJournal of Automated Reasoning, 1986
- Complete sets of unifiers and matchers in equational theoriesTheoretical Computer Science, 1986
- Complete sets of unifiers and matchers in equational theoriesPublished by Springer Nature ,1983