A Computer Program for a Solvable Case of the Decision Problem

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A Computer Program for a Solvable Case of the Decision Problem

Full text

Pdf (412 KB)

Source

Journal of the ACM (JACM) archive
Volume 10 , Issue 3 (July 1963) table of contents

Pages: 348 - 356

Year of Publication: 1963

ISSN:0004-5411

Author

Joyce Friedman

The Mitre Corporation, Bedford, Massachusetts

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 22, Citation Count: 0

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/321172.321181 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	CHURCI, ALONZO. Introduction to MaZhematicai Logic, Vol. I. Princeton University Press, Princeton, New Jersey, 1956.
	2	Martin Davis , George Logemann , Donald Loveland, A machine program for theorem-proving, Communications of the ACM, v.5 n.7, p.394-397, July 1962 [doi>10.1145/368273.368557]
	3	FENICtIEL, ROBERT R. Preliminary description of the GSdel preprocessor. Unpublished paper, 1962.
	4	Joyce Friedman, A Semi-Decision Procedure for the Functional Calculus, Journal of the ACM (JACM), v.10 n.1, p.1-24, Jan. 1963 [doi>10.1145/321150.321151]
	5	--, A computer program for a solvable case of the decision problem. MITRE 8R-88, 1963.
	6	GILMORE, P.C. A proof method for quantification theory. IBM J. Ire.s. Develop. 4 (1960), 28-35.
	7	Hao Wang, Proving theorems by pattern recognition I, Communications of the ACM, v.3 n.4, p.220-234, April 1960 [doi>10.1145/367177.367224]