Machine Configuration and Word Problems of Given Degree of Unsolvability

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):149-175 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19650110210

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Machine Configuration and Word Problems of Given Degree of Unsolvability.J. C. Shepherdson - 1965 - Mathematical Logic Quarterly 11 (2):149-175.
Machine Configuration and Word Problems of Given Degree of Unsolvability.J. C. Shepherdson & Yehoshua Bar-Hillel - 1968 - Journal of Symbolic Logic 33 (1):120-121.
Review: J. C. Shepherdson, Yehoshua Bar-Hillel, Machine Configuration and Word Problems of Given Degree of Unsolvability; J. C. Shepherdson, Machine Configuration and Word Problems of Given Degree of Unsolvability. [REVIEW]W. E. Singletary - 1968 - Journal of Symbolic Logic 33 (1):120-121.
Shepherdson J. C.. Machine configuration and word problems of given degree of unsolvability. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Bar-Hillel Yehoshua, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 69–80.Shepherdson J. C.. Machine configuration and word problems of given degree of unsolvability. Zeitschrift für mathematlsche Logik und Grundlagen der Mathematik, vol. 11 , pp. 149–175. [REVIEW]W. E. Singletary - 1968 - Journal of Symbolic Logic 33 (1):120-121.
A Single‐Axiom Impligational Calculus of Given Unsolvability.M. D. Gladstone - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (13‐17):193-204.
Undecidable Problems Associated with Combinatiorial Systems and Their One-One Degrees of Unsolvability.Joanna Jedrzejowicz - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (25-30):453-462.
Distributive Initial Segments of the Degrees of Unsolvability.A. H. Lachlan - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (30):457-472.
A Contiguous Nonbranching Degree.Rod Downey - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (4):375-383.
Enumeration of Recursive Sets By Turing Machine.E. K. Blum - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (3):197-201.
Myhill J. and Shepherdson J. C.. Effective operations on partial recursive functions. Zeitschrift für mathematische Logik und Grundlagen der Mathetnatik, vol. 1 , pp. 310–317. [REVIEW]J. C. E. Dekker - 1957 - Journal of Symbolic Logic 22 (3):303-303.

Analytics

Added to PP
2016-02-04

Downloads
28 (#588,332)

6 months
6 (#588,512)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Word problems and ceers.Valentino Delle Rose, Luca San Mauro & Andrea Sorbi - 2020 - Mathematical Logic Quarterly 66 (3):341-354.
Degree problems for modular machines.Daniel E. Cohen - 1980 - Journal of Symbolic Logic 45 (3):510-528.
Many-one degrees associated with problems of tag.C. E. Hughes - 1973 - Journal of Symbolic Logic 38 (1):1-17.
Decision problems for tag systems.Stål Aanderaa & Dag Belsnes - 1971 - Journal of Symbolic Logic 36 (2):229-239.

Add more citations

References found in this work

Recursive unsolvability of a problem of thue.Emil L. Post - 1947 - Journal of Symbolic Logic 12 (1):1-11.
A Note on Universal Turing Machines.M. D. Davis & Martin Davis - 1970 - Journal of Symbolic Logic 35 (4):590-590.

Add more references