Unification in Boolean rings
- 1 December 1988
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 4 (4) , 381-396
- https://doi.org/10.1007/bf00297246
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Rewrite methods for clausal and non-clausal theorem provingPublished by Springer Nature ,2006
- Embedding boolean expressions into logic programmingJournal of Symbolic Computation, 1987
- New Classes for Parallel Complexity: A Study of Unification and Other Complete Problems for PIEEE Transactions on Computers, 1986
- Unification in boolean ringsPublished by Springer Nature ,1986
- Combination of unification algorithmsPublished by Springer Nature ,1986
- An equational approach to theorem proving in first-order predicate calculusACM SIGSOFT Software Engineering Notes, 1985
- Refutational theorem proving using term-rewriting systemsArtificial Intelligence, 1985
- Computer-Implemented Set TheoryThe American Mathematical Monthly, 1980
- Mathematical LogicPublished by Springer Nature ,1976
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965