Part of the Lecture Notes in Computer Science book series (LNCS, volume 607)
ROO: A parallel theorem prover
Unable to display preview. Download preview PDF.
- 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
- 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
- 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
- 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
© Springer-Verlag Berlin Heidelberg 1992