Advertisement

ROO: A parallel theorem prover

  • Ewing L. Lusk
  • William W. McCune
  • John Slaney
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 607)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Virginia Herrarte and Ewing Lusk. Studying parallel program behavior with upshot. Technical Report ANL-91/15, Argonne National Laboratory, Argonne, IL 60439, 1991.Google Scholar
  2. [2]
    Ewing L. Lusk and William W. McCune. Experiments with Roo, a parallel automated deduction system. (To appear in Springer Lecture Notes in Artificial Intelligence), 1992.Google Scholar
  3. [3]
    F. Pfenning. Single axioms in the implicational prepositional calculus. In E. Lusk and R. Overbeek, editors, Proceedings of the 9th International Conference on Automated Deduction, Lecture Notes in Computer Science 310, pages 710–713. Springer-Verlag, 1988.Google Scholar
  4. [4]
    John K. Slaney and Ewing L. Lusk. Parallelizing the closure operation in automated deduction. In M. E. Stickel, editor, Proceedings of the 10th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence 449, pages 28–39. Springer-Verlag, 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Ewing L. Lusk
    • 1
  • William W. McCune
    • 1
  • John Slaney
    • 2
  1. 1.Mathematics and Computer Science DivisionArgonne National LaboratoryUSA
  2. 2.Automated Reasoning ProjectAustralian National UniversityCanberraAustralia

Personalised recommendations