Distributed theorem proving by Peers

  • Marin Paola Bonacina
  • William W. McCune
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 814)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    J.Avenhaus and J.Denzinger, Distributing Equational Theorem Proving, in C.Kirchner (ed.), Proceedings of the Fifth Conference on Rewriting Techniques and Applications, Montréal, Canada, June 1993, Springer Verlag, Lecture Notes in Computer Science 690, 62–76, 1993.Google Scholar
  2. 2.
    M.P.Bonacina, Distributed Automated Deduction, Ph.D. Thesis, Department of Computer Science, State University of New York at Stony Brook, December 1992.Google Scholar
  3. 3.
    M.P.Bonacina and J.Hsiang, On fairness in distributed deduction, in P.Enjalbert, A.Finkel and K. W.Wagner (eds.), Proceedings of the Tenth Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 1993, Springer Verlag, Lecture Notes in Computer Science 665, 141–152, 1993.Google Scholar
  4. 4.
    M.P.Bonacina and J.Hsiang, The Clause-Diffusion methodology for distributed deduction, submitted for publication.Google Scholar
  5. 5.
    M.P.Bonacina and J.Hsiaug, Distributed Deduction by Clause-Diffusion: the Aquarius Prover, in A.Miola (ed.), Proceedings of the Third International Symposium on Design and Implementation of Symbolic Computation Systems, Gmunden, Austria, September 1993, Springer Verlag, Lecture Notes in Computer Science 722, 272–287, 1993.Google Scholar
  6. 6.
    R.Butler and E.L.Lusk, User's Guide to the p4 Programming System, Technical Report ANL-92/17, Argonne National Laboratory, Argonne, Illinois, October 1992.Google Scholar
  7. 7.
    E.L.Lusk and W.W.McCune, experiments with ROO: a Parallel Automated Deduction System, in B.Fronhöfer and G.Wrightson (eds.), Parallelization in Inference Systems, Springer Verlag, Lecture Notes in Artificial Intelligence 590, 139–162, 1992.Google Scholar
  8. 8.
    W.W.McCune, OTTER 2.0 Users Guide, Technical Report ANL-90/9, Argonne National Laboratory, Argonne, Illinois, March 1990.Google Scholar
  9. 9.
    S.Taylor, Parallel Logic Programming Techniques, Prentice Hall.Google Scholar
  10. 10.
    L.Wos, Searching for Open Questions, Newsletter of the Association for Automated Reasoning, No. 15, May 1990.Google Scholar

Copyright information

© Springer-Verlag 1994

Authors and Affiliations

  • Marin Paola Bonacina
    • 1
  • William W. McCune
    • 2
  1. 1.Department of Computer ScienceUniversity of IowaIowa CityUSA
  2. 2.Mathematics and Computer Science DivisionArgonne National LaboratoryArgonneUSA

Personalised recommendations