IEEE - Institute of Electrical and Electronics Engineers, Inc. - On parallelism of hyper-linking theorem proving: a preliminary report

Proceedings of 1996 International Conference on Parallel and Distributed Systems

Author(s): Chih-Hung Wu ; Shie-Jue Lee
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Tokyo, Japan, Japan
Conference Date: 3 June 1996
Page(s): 494 - 499
ISBN (Paper): 0-8186-7267-6
DOI: 10.1109/ICPADS.1996.517599
Regular:

This paper exploits the parallelism of a hyper-linking based theorem prover. We analyze the unique properties of the the hyper-linking proof procedure and present the preliminary results. With... View More

Advertisement