Unification in boolean rings
- 1 January 1986
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Refutational theorem proving using term-rewriting systemsArtificial Intelligence, 1985
- Combining unification algorithms for confined regular equational theoriesPublished by Springer Nature ,1985
- Associative-Commutative UnificationPublished by Springer Nature ,1984
- Universal UnificationPublished by Springer Nature ,1984
- A Unification Algorithm for Associative-Commutative FunctionsJournal of the ACM, 1981
- Computer-Implemented Set TheoryThe American Mathematical Monthly, 1980
- The theory of representations for Boolean algebrasTransactions of the American Mathematical Society, 1936