An alternative approach to concurrent theorem-proving

This publication has 8 references indexed in Scilit:

• THE CLAUSE-DIFFUSION METHODOLOGY FOR DISTRIBUTED DEDUCTION
  Fundamenta Informaticae, 1995
• Exploitation of parallel processing for implementing high-performance deduction systems
  Journal of Automated Reasoning, 1992
• The Process Group Approach to Reliable Distributed Computing
  Published by Defense Technical Information Center (DTIC) ,1991
• Distributed automated reasoning: issues in coordination, cooperation, and performance
  IEEE Transactions on Systems, Man, and Cybernetics, 1991
• Partheo: A high-performance parallel theorem prover
  Published by Springer Nature ,1990
• Reliable communication in the presence of failures
  ACM Transactions on Computer Systems, 1987
• Data parallel algorithms
  Communications of the ACM, 1986
• A Structure-preserving Clause Form Translation
  Journal of Symbolic Computation, 1986