About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Hořejš, Jiří
On generalizations of a theorem on recursive sets. (English). Archivum Mathematicum, vol. 1 (1965), issue 4, pp. 221-227
MSC: 03D25 | MR 0201294 | Zbl 0203.01202
References:
[B] Borůvka O.: Grundlagen der Gruppoid- und Gruppentheorie. Berlin 1960 MR 0117267
[D] Davis M.: Computability and Unsolvability. New York 1958 MR 0347574 | Zbl 0553.03024
[M] Myhill J.: Recursive Digraphs, Splinters and Cylinders. Math. Annalen 138 (1959) 211-218 MR 0111684 | Zbl 0087.25103
[R] Rice H. G.: Classes of Recursively Enumerable Sets and Their Decision Problems. Trans. Amer. Math. Soc. 74 (1953) 358-366 MR 0053041 | Zbl 0053.00301
Partner of
EuDML logo