Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
References
E. C. Cooper. C Threads. 1987.Available as a document at the Department of Computer Science, Carnegie Mellon University, Pittsburgh, Pennsylvania.
D. Loveland. A Simplified Format for the Model Elimination Procedure. In JACM, pages 349–363. July, 1969.
R. V. Baron, R. F. Rashid, E. Siegel, A.Tevanian, and M. W. Young. MACH-1: A Multiprocessor Oriented Operating System and Environment. In New Computing Environments: Parallel, Vector and Symbolic. SIAM, 1986.
Multimax Technical Summary Encore Computer Corporation, 1986.
M. E. Stickel. A Prolog Technology Theorem Prover. In New Generation Computing 2, 4, pages 371–383. 1984.
D. H. D. Warren. Or-Parallel Execution Models of Prolog. Technical Report, Department of Computer Science, University of Manchester, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Allen, P.E., Bose, S., Clarke, E.M., Michaylov, S. (1988). PARTHENON: A parallel theorem prover for non-horn clauses. In: Lusk, E., Overbeek, R. (eds) 9th International Conference on Automated Deduction. CADE 1988. Lecture Notes in Computer Science, vol 310. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0012887
Download citation
DOI: https://doi.org/10.1007/BFb0012887
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19343-2
Online ISBN: 978-3-540-39216-3
eBook Packages: Springer Book Archive