Seymour Ginsburg. Some remarks on abstract machines. Transactions of the American Mathematical Society, vol. 96 , pp. 400–444. - Seymour Ginsburg and Gene F. Rose. A comparison of the work done by generalized sequential machines and Turing machines. Transactions of the American Mathematical Society, vol. 103 , pp. 394–402 [Book Review]

Journal of Symbolic Logic 37 (2):411 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273005

Links

PhilArchive



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

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

Seymour Ginsburg and Edwin H. Spanier. Bounded ALGOL-like languages. Transactions of the American Mathematical Society, vol. 113 , pp. 333–368. [REVIEW]Asa Kasher - 1969 - Journal of Symbolic Logic 34 (1):136-137.
Gene F. Rose. Output completeness in sequential machines. Proceedings of the American Mathematical Society, vol. 13 , pp. 611–614. [REVIEW]Robert McNaughton - 1966 - Journal of Symbolic Logic 31 (1):140-140.
Review: Seymour Ginsburg, Some Remarks on Abstract Machines. [REVIEW]Lars Lofgren - 1972 - Journal of Symbolic Logic 37 (2):411-411.
Seymour Ginsburg and Gene F. Rose. A characterization of machine mappings. Canadian journal of mathematics , vol. 18 , pp. 381–388. [REVIEW]Asa Kasher - 1968 - Journal of Symbolic Logic 33 (3):468.
Rose Gene F.. Propositional calculus and realizability. Transactions of the American Mathematical Society, vol. 75 , pp. 1–19. [REVIEW]David Nelson - 1954 - Journal of Symbolic Logic 19 (2):126-126.
Alan Rose and J. Barkley Rosser. Fragments of many-valued statement calculi. Transactions of the American Mathematical Society, vol. 87 , pp. 1–53. - C. A. Meredith. The dependence of an axiom of Łukasiewicz. Transactions of the American Mathematical Society, vol. 87 , p. 54. - C. C. Chang. Proof of an axiom of Łukasiewicz. Transactions of the American Mathematical Society, vol. 87 , pp. 55–56. [REVIEW]Atwell R. Turquette - 1959 - Journal of Symbolic Logic 24 (3):248-249.
Review: Seymour Ginsburg, Gene F. Rose, A Characterization of Machine Mappings. [REVIEW]Asa Kasher - 1968 - Journal of Symbolic Logic 33 (3):468-468.
Bernstein B. A.. Postulate-sets for Boolean rings. Transactions of the American Mathematical Society, vol. 55 , pp. 393–400. [REVIEW]Alonzo Chubch - 1944 - Journal of Symbolic Logic 9 (2):54-54.
Shoenfield J. R.. A hierarchy based on a type two object. Transactions of the American Mathematical Society, vol. 134 , pp. 103–108. [REVIEW]Wayne Richter - 1971 - Journal of Symbolic Logic 36 (2):340-341.
Seymour Ginsburg and Sheila Greibach. Deterministic context free languages. Informarion and control, vol. 9 , pp. 620–648. [REVIEW]Richard Stanley - 1968 - Journal of Symbolic Logic 33 (2):302.

Analytics

Added to PP
2016-06-30

Downloads
15 (#244,896)

6 months
6 (#1,472,471)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references