Parallelizing the closure computation in automated deduction
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- The Ackermann constant theorem: A computer-assisted investigationJournal of Automated Reasoning, 1991
- On the structure of De Morgan monoids with corollaries on relevant logic and theories.Notre Dame Journal of Formal Logic, 1988
- Using automated reasoning tools: A study of the semigroupF 2 B 2Semigroup Forum, 1987
- Sentential constants in R and R?Studia Logica, 1986
- 3088 varieties: A solution to the Ackermann constant problemThe Journal of Symbolic Logic, 1985
- Efficiency and Completeness of the Set of Support Strategy in Theorem ProvingJournal of the ACM, 1965