External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A High-Performance Parallel Theorem Prover

Ralph Butler, Ian T. Foster, Anita Jindal, Ross A. Overbeek. A High-Performance Parallel Theorem Prover. In Mark E. Stickel, editor, 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings. Volume 449 of Lecture Notes in Computer Science, pages 649-650, Springer, 1990.

Authors

Ralph Butler

This author has not been identified. Look up 'Ralph Butler' in Google

Ian T. Foster

This author has not been identified. Look up 'Ian T. Foster' in Google

Anita Jindal

This author has not been identified. Look up 'Anita Jindal' in Google

Ross A. Overbeek

This author has not been identified. Look up 'Ross A. Overbeek' in Google
runs on