Exploiting Parallelism in Interactive Theorem Provers

Authors:
Roderick Moten
Affiliations:
-
Venue:
Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics
Year:
1998

A taxonomy of parallel strategies for deduction

Annals of Mathematics and Artificial Intelligence
Parallelization of a Hyper-Linking–Based Theorem Prover

Journal of Automated Reasoning
Shared-memory multiprocessing for interactive theorem proving

ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
A parallelized theorem prover for a logic with parallel execution

ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving

Hi-index	0.00