Unification in the data structure sets
- 1 January 1986
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Unification in datastructure multisetsJournal of Automated Reasoning, 1986
- An algebraic approach to unification under associativity and commutativityLecture Notes in Computer Science, 1985
- Associative-Commutative UnificationPublished by Springer Nature ,1984
- Universal UnificationPublished by Springer Nature ,1984
- Universal UnificationPublished by Springer Nature ,1982
- A Unification Algorithm for Associative-Commutative FunctionsJournal of the ACM, 1981