Iterative Systems and Diagram Algorithms

Mathematical Logic Quarterly 27 (36):561-564 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19810273602

Links

PhilArchive



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

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

Iterative Systems and Diagram Algorithms.Branislav Martić - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (36):561-564.
Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them.Anita Wasilewska - 1985 - Mathematical Logic Quarterly 31 (19‐20):289-294.
The Two-valued Iterative Systems of Mathematical Logic.H. E. Vaughan - 1941 - Journal of Symbolic Logic 6 (3):114-115.
Review: Emil L. Post, The Two-valued Iterative Systems of Mathematical Logic. [REVIEW]H. E. Vaughan - 1941 - Journal of Symbolic Logic 6 (3):114-115.
The First Recursion Theorem for Iterative Combinatory Spaces.D. Skordev - 1979 - Mathematical Logic Quarterly 25 (3-6):69-77.
Turing Algorithms.Vladeta Vučković - 1961 - Mathematical Logic Quarterly 7 (7-10):106-116.
Turing Algorithms.Vladeta Vučković - 1961 - Mathematical Logic Quarterly 7 (7‐10):106-116.
Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas.George Voutsadakis - 2007 - Mathematical Logic Quarterly 53 (2):147-161.
A reduction theorem for normal algorithms.R. M. Baer - 1969 - Mathematical Logic Quarterly 15 (13‐15):219-222.
The two-valued iterative systems of mathematical logic.Emil Leon Post - 1941 - London,: H. Milford, Oxford university press.

Analytics

Added to PP
2013-12-01

Downloads
13 (#288,494)

6 months
5 (#1,552,255)

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

Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.
Introduction to Mathematical Logic.John Corcoran - 1964 - Journal of Symbolic Logic 54 (2):618-619.

Add more references