28 found
Order:
  1.  25
    (1 other version)Ánov Ú. I.. O logičéskih shémah algoritmov . Problémy kibérnétiki, vol. 1 , pp. 75–127.E. M. Fels - 1962 - Journal of Symbolic Logic 27 (3):362-363.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2.  21
    (2 other versions)Ánov Ú. I.. О ravnosil′nosti i préobrazovaniáh shém programm . Doklady Akadémii Nauk SSSR, Vol. 113 , pp. 39–42.E. M. Fels - 1967 - Journal of Symbolic Logic 32 (3):391-391.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  3.  12
    On the Reversibility of Algorithms.E. M. Fels & V. S. Cernavskij - 1966 - Journal of Symbolic Logic 31 (4):655.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  16
    (1 other version)A. A. Lápunov. O logičéskih shémah programm. Problémy kibérnétiki, vol. 1 , pp. 46–74. - A. A. Lyapunov. The logical structure of programmes. English translation of the preceding. Problems of cybernetics, vol. 1 , pp. 48–81. - A. A. Ljapunow. Über logische Programm-Schemata. German translation of the same. Probleme der Kybernetik, vol. 1 , pp. 53–86. [REVIEW]E. M. Fels - 1968 - Journal of Symbolic Logic 33 (3):466-467.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  12
    Asser Günter , pp. 20–27) has meanwhile gone farther and shown, inter alia, the equivalence of Kalužnin's graph-schematic algorithm concept with Asser's functional-algorithm concept. [REVIEW]E. M. Fels - 1962 - Journal of Symbolic Logic 27 (3):364-364.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  20
    (1 other version)Asser Günter. Funktionen-Algorithmen und Graphschemata. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 20–27. [REVIEW]E. M. Fels - 1963 - Journal of Symbolic Logic 28 (4):292-292.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  16
    (1 other version)A. A. Markov. O konstruktivnyh funkciáh . Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Maté-matičéskogo Instituta imèni V. A. Stéklova, vol. 52, Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 315–348. [REVIEW]E. M. Fels - 1966 - Journal of Symbolic Logic 31 (2):255-258.
  8.  12
    A. P. Éršov. Opératornyé algorifmy. II. Problémy kibérnétiki, vol. 8 , pp. 211–233. - A. P. Jerschow. Operator-Algorithmen. II. German translation of the preceding by Heinz D. Modrow. Probleme der Kybernetik, vol. 8 , pp. 208–232. [REVIEW]E. M. Fels - 1968 - Journal of Symbolic Logic 33 (3):467.
  9.  25
    (1 other version)G. S. Céjtin. Associativnoé isčslénié s nérazréšimoj problémoj ekvivaléntnosti . Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 52, Izdatél'stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 172–189. [REVIEW]E. M. Fels - 1965 - Journal of Symbolic Logic 30 (2):254-255.
  10.  19
    (1 other version)S. Ú. Maslov. O “Tag”-problémé E. L. Posta . Problémy konstruktivnogo napravléniá v matématiké, 3, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 72, Izdatél′stvo “Nauka,”Moscow and Leningrad1964, pp. 57–68. [REVIEW]E. M. Fels - 1968 - Journal of Symbolic Logic 32 (4):526-527.
  11.  9
    (1 other version)Maslov S. Ú.. Préobrazovanié proizvol′nyh kanoničéskih isčislénij v kanoničéskié isčisléniá spécial′nyh tipov. Doklady Akadémii Nauk SSSR, vol. 147 , pp. 779–782.Maslov S. Ju.. Transformation of arbitrary canonical calculi into canonical calculi of special types. English translation of the preceding by Gdss R. N.. Soviet mathematics, vol. 3 no. 6 , pp. 1708–1711. [REVIEW]E. M. Fels - 1968 - Journal of Symbolic Logic 32 (4):527-527.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  19
    (1 other version)S. Ú. Maslov. Nékotoryé svojstva apparata kanoničéskih isčislénij E. L. Posta . Problémy konstruktivnogo napravléniá v matématiké, 3, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 72, Izdatél′stvo “Nauka,”Moscow and Leningrad1964, pp. 5–56. [REVIEW]E. M. Fels - 1968 - Journal of Symbolic Logic 32 (4):524-526.
  13.  17
    (1 other version)N. A. Šanin. Konstruktivnyé véščéstvénnyé ĉisla i konstruktivnyé funkcional'nyé prostranstva (Constructive real numbers and constructive functional spaces). Problémy konstrukticnogo napravléniá v matématik, 2 (Konstruktivnyj matématičéskij analiz), Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta imèni V. A. Stéklova, vol. 67Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1962, pp. 15–294. [REVIEW]E. M. Fels - 1969 - Journal of Symbolic Logic 34 (2):290-292.
  14.  22
    (1 other version)N. M. Nagornyj. Nékotoryé obobščénia ponátiá normaľnogo algorifma, . Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin. Trudy Matématičéskogo Instituta iméni V. A. Stéklova, vol. 52, Izdatéľstvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 7–65. [REVIEW]E. M. Fels - 1962 - Journal of Symbolic Logic 27 (3):360-362.
  15.  46
    N. N. Vorob′év. Novyj algorifm vyvodimosti v konstruktivnom isčislénii uyskazyvanij . Problémy konstruktivnogo napravléniá v matématiké, 1, Sbornik rabot, edited by N. A. Šanin, Trudy Matématičéskogo Instituta imèni V. A. Stéklova, vol. 52, Izdatél′stvo Akadémii Nauk SSSR, Moscow and Leningrad1958, pp. 193–225. [REVIEW]E. M. Fels - 1964 - Journal of Symbolic Logic 29 (2):108-109.
  16. Review: A. A. Markov, On Constructive Functions. [REVIEW]E. M. Fels - 1966 - Journal of Symbolic Logic 31 (2):258-258.
     
    Export citation  
     
    Bookmark  
  17.  11
    Review: A. P. Jerschow, Heinz D. Modrow, Operator Algorithmen. II. [REVIEW]E. M. Fels - 1968 - Journal of Symbolic Logic 33 (3):467-467.
  18.  8
    Review: A. P. Ersov, Operator Algorithms. I. Basic Concepts. [REVIEW]E. M. Fels - 1962 - Journal of Symbolic Logic 27 (3):364-366.
  19.  29
    Korolúk V. S.. O ponátii adrésnogo algoritma . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 , pp. 95–110. [REVIEW]E. M. Fels - 1962 - Journal of Symbolic Logic 27 (3):364-366.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  20. Review: E. S. Orlovskij, Some Questions in the Theory of Algorithms. [REVIEW]E. M. Fels - 1964 - Journal of Symbolic Logic 29 (2):108-109.
  21.  11
    Review: L. A. Kaluznin, On Algorithmization of Mathematical Problems. [REVIEW]E. M. Fels - 1962 - Journal of Symbolic Logic 27 (3):363-364.
  22. Review: N. M. Nagornyj, On a Minimal Alphabet of Algorithms Over a Given Alphabet. [REVIEW]E. M. Fels - 1964 - Journal of Symbolic Logic 29 (2):108-108.
  23.  6
    Review: N. N. Vorob'ev, A New Algorithm of Deducibility in the Constructive Propositional Calculus. [REVIEW]E. M. Fels - 1964 - Journal of Symbolic Logic 29 (2):109-109.
  24.  18
    (1 other version)Review: N. V. Belakin, The Universality of a Computing Machine with Potentially Infinite Exterior Memory. [REVIEW]E. M. Fels - 1962 - Journal of Symbolic Logic 27 (3):366-366.
  25. (1 other version)Review: S. Ju. Maslov, Elliott Mendelson, Strong Representability of Sets by Calculi. [REVIEW]E. M. Fels - 1967 - Journal of Symbolic Logic 32 (3):391-392.
  26. (1 other version)Review: S. U. Maslov, Some Methods for the Definition of Sets in Generating Bases. [REVIEW]E. M. Fels - 1967 - Journal of Symbolic Logic 32 (3):392-393.
  27.  15
    Review: V. K. Detlovs, The Equivalence of Normal Algorithms and Recursive Functions. [REVIEW]E. M. Fels - 1962 - Journal of Symbolic Logic 27 (3):362-362.
  28.  8
    (1 other version)Review: V. S. Cernavskij, On the Reversibility of Algorithms. [REVIEW]E. M. Fels - 1966 - Journal of Symbolic Logic 31 (4):655-656.