Impossibility of Algorithms for Recognizing Some Properties of Associative Systems

Journal of Symbolic Logic 17 (2):151-152 (1952)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266280

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,337

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

Review: A. Markov, Impossibility of Algorithms for Recognizing Some Properties of Associative Systems. [REVIEW]Andrzej Mostowski - 1952 - Journal of Symbolic Logic 17 (2):151-152.
Review: A. Markov, Impossibility of Certain Algorithms in the Theory of Associative Systems II. [REVIEW]Andrzej Mostowski - 1948 - Journal of Symbolic Logic 13 (1):53-53.
Impossibility of Certain Algorithms in the Theory of Associative Systems.A. Markov - 1948 - Journal of Symbolic Logic 13 (1):52-53.
On the Impossibility of Certain Algorithms in the Theory of Associative Systems.A. Markoff - 1948 - Journal of Symbolic Logic 13 (3):170-171.
Impossibility of Certain Algorithms in the Theory of Associative Systems II.A. Markov - 1948 - Journal of Symbolic Logic 13 (1):53-53.
Markoff A.. On the impossibility of certain algorithms in the theory of associative systems. Comptes rendus de l'Académie des Sciences de léURSS, n. s. vol. 55 no. 7 , pp. 583–586. [REVIEW]Alonzo Church - 1948 - Journal of Symbolic Logic 13 (3):170-171.
Review: A. A. Markov, The Theory of Algorithms. [REVIEW]Andrzej Mostowski - 1953 - Journal of Symbolic Logic 18 (4):340-341.
Review: A. A. Markov, Theory of Algorithms. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (2):244-244.
Classes of Markov-like k-ALGORITHMS.Zdzislaw Grodzki & Jerzy Mycka - 1996 - Reports on Mathematical Logic:83-99.

Analytics

Added to PP
2015-02-05

Downloads
20 (#1,039,559)

6 months
5 (#1,039,842)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Some Non‐Recursive Classes of Thue Systems With Solvable Word Problem.Ann Yasuhara - 1974 - Mathematical Logic Quarterly 20 (8-12):121-132.

Add more citations

References found in this work

No references found.

Add more references