33 found
Order:
  1.  42
    Decidability and Undecidability of Extensions of Second (First) Order Theory of (Generalized) Successor.Calvin C. Elgot & Michael O. Rabin - 1966 - Journal of Symbolic Logic 31 (2):169-181.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  17
    Realization of Events by Logical Nets.Irving M. Copi, Calvin C. Elgot & Jesse B. Wright - 1967 - Journal of Symbolic Logic 32 (3):389-390.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  21
    Design Algorithms in Automata Languages : Final Report.Arthur W. Burks, J. Richard B.??chi, Calvin C. Elgot & Jesse B. Wright - unknown
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  10
    Arant Gene W.. A Time-Sequential Tabular Analysis of Flip-Flop Logical Operation. Transactions of the Institute of Radio Engineers Professional Group on Electronic Computers, Vol. EC-6 No. 4 , Pp. 72–74. [REVIEW]Calvin C. Elgot - 1959 - Journal of Symbolic Logic 24 (1):74-74.
  5.  15
    Baer R. M.. Certain directed Post systems and automata. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 151–174. [REVIEW]Calvin C. Elgot - 1970 - Journal of Symbolic Logic 35 (1):158-159.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  8
    Certain Directed Post Systems and Automata.Calvin C. Elgot & R. M. Baer - 1970 - Journal of Symbolic Logic 35 (1):158.
  7.  9
    Carr John W., III. Languages, Logic, Learning, and Computers. Computers and Automation, Vol. 7, April 1958, Pp. 21–22, 25–26. [REVIEW]Calvin C. Elgot - 1959 - Journal of Symbolic Logic 24 (3):256-257.
  8.  13
    F. William Lawvere. Functorial Semantics of Algebraic Theories. Proceedings of the National Academy of Sciences of the United States of America, Vol. 50 , Pp. 869–872. [REVIEW]Calvin C. Elgot - 1974 - Journal of Symbolic Logic 39 (2):340-341.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  27
    F. William Lawvere. The Category of Categories as a Foundation for Mathematics. Proceedings of the Conference on Categorical Algebra, La Jolla 1965, Edited by S. Eilenberg, D. K. Harrison, S. MacLane, and H. Röhrl, Springer-Verlag New York Inc., New York 1966, Pp. 1–20. [REVIEW]Calvin C. Elgot - 1974 - Journal of Symbolic Logic 39 (2):341.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  31
    F. William Lawvere. An Elementary Theory of the Category of Sets. Proceedings of the National Academy of Sciences, Vol. 52 , Pp. 1506–1511. [REVIEW]Calvin C. Elgot - 1972 - Journal of Symbolic Logic 37 (1):191-192.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  3
    Komamiya Yasuo. Theory of Computing Relay-Networks. Proceedings of the First Japan National Congress for Applied Mechanics 1951, Japan National Committee for Theoretical and Applied Mechanics, Science Council of Japan, Tokyo 1952, Pp. 527–532. [REVIEW]Calvin C. Elgot - 1958 - Journal of Symbolic Logic 23 (3):366-366.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  11
    Leonard S. Bobrow and Michael A. Arbib. Discrete Mathematics: Applied Algebra for Computer and Information Science. W. B. Saunders Company, Philadelphia, London, and Toronto, 1974, Xiii + 719 Pp. [REVIEW]Calvin C. Elgot - 1981 - Journal of Symbolic Logic 46 (4):878-880.
  13.  14
    Moisil Gr. C.. Sur la théorie algébrique de certains circuits électriques. Journal de mathématiques pures et appliquées, vol. 36 no. 4 , pp. 313–324. [REVIEW]Calvin C. Elgot - 1959 - Journal of Symbolic Logic 24 (1):74-74.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  31
    Moisil G. C.. Sur la théorie algébrique des mécanismes automatiques: Synthèse des schemas à relais polarisés. Aktuelle Probleme der Rechentechnik, Deutscher Verlag der Wissenschaften, Berlin 1957, pp. 51–56. [REVIEW]Calvin C. Elgot - 1959 - Journal of Symbolic Logic 24 (2):188-188.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  8
    Mealy George H.. A Method for Synthesizing Sequential Circuits. The Bell System Technical Journal, Vol. 34 , Pp. 1045–1079. [REVIEW]Calvin C. Elgot - 1957 - Journal of Symbolic Logic 22 (3):334-335.
  16. [Omnibus Review].Calvin C. Elgot - 1960 - Journal of Symbolic Logic 25 (2):163-164.
  17.  8
    Richard Büchi J.. Regular Canonical Systems. Archiv Für Mathematische Logik Und Grundlagenforschung, Vol. 6 Nos. 3–4 , Pp. 91–111. [REVIEW]Calvin C. Elgot - 1966 - Journal of Symbolic Logic 31 (2):265-267.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  10
    Review: F. William Lawvere, S. Eilenberg, D. K. Harrison, S. MacLane, H. Rohrl, The Category of Categories as a Foundation for Mathematics. [REVIEW]Calvin C. Elgot - 1974 - Journal of Symbolic Logic 39 (2):341-341.
  19.  4
    Review: F. William Lawvere, Functional Semantics of Algebraic Theories. [REVIEW]Calvin C. Elgot - 1974 - Journal of Symbolic Logic 39 (2):340-341.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  13
    Review: F. William Lawvere, An Elementary Theory of the Category of Sets. [REVIEW]Calvin C. Elgot - 1972 - Journal of Symbolic Logic 37 (1):191-192.
  21.  24
    Review: G. C. Moisil, Sur la Theorie Algebrique des Mecanismes Automatiques: Synthese des Schemas a Relais Polarises. [REVIEW]Calvin C. Elgot - 1959 - Journal of Symbolic Logic 24 (2):188-188.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  10
    Review: Gr. C. Moisil, Sur un Theoreme d'Existence dans la Theorie Algebrique des Mecanismes Automatiques Discrets. [REVIEW]Calvin C. Elgot - 1959 - Journal of Symbolic Logic 24 (2):188-188.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  5
    Review: Gr. C. Moisil, Sur la Theorie Algebrique de Certains Circuits Electriques. [REVIEW]Calvin C. Elgot - 1959 - Journal of Symbolic Logic 24 (1):74-74.
  24.  8
    Review: George H. Mealy, A Method for Synthesizing Sequential Circuits. [REVIEW]Calvin C. Elgot - 1957 - Journal of Symbolic Logic 22 (3):334-335.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  7
    Review: Gene W. Arant, A Time-Sequential Tabular Analysis of Flip-Flop Logical Operation. [REVIEW]Calvin C. Elgot - 1959 - Journal of Symbolic Logic 24 (1):74-74.
  26.  2
    Review: Hao Wang, Circuit Synthesis by Solving Sequential Boolean Equations. [REVIEW]Calvin C. Elgot - 1960 - Journal of Symbolic Logic 25 (4):373-375.
  27.  3
    Review: Hao Wang, Logic and Computers. [REVIEW]Calvin C. Elgot - 1966 - Journal of Symbolic Logic 31 (2):264-264.
  28. Review: J. Richard Buchi, Regular Canonical Systems. [REVIEW]Calvin C. Elgot - 1966 - Journal of Symbolic Logic 31 (2):265-267.
     
    Export citation  
     
    Bookmark  
  29.  2
    Review: John W. Carr., Languages, Logic, Learning, and Computers. [REVIEW]Calvin C. Elgot - 1959 - Journal of Symbolic Logic 24 (3):256-257.
  30.  6
    Nicolas Rouche. Recherche d'Une Algèbre Logique Continue. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, Pp. 90–99. - Wolfe Mays. Cybernetic Models and Thought Processes. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, Pp. 103–110. - Henryk Greniewski. Logique Et Cybernétique. Ier Congrès International de Cybernétique, Namur, 26–29 Juin 1956, Actes, Gauthier-Villars, Paris, and Association Internationale de Cybernétique, Namur, 1958, Pp. 117–119. - M. O. Rabin and D. Scott. Finite Automata and Their Decision Problems. IBM Journal of Research and Development, Vol. 3 , Pp. 114–125. - J. C. Shepherdson. The Reduction of Two-Way Automata to One-Way Automata. IBM Journal of Research and Development, Vol. 3 , Pp. 198–200. [REVIEW]Calvin C. Elgot - 1960 - Journal of Symbolic Logic 25 (2):163-164.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  6
    Review: Yasuo Komamiya, Theory of Computing Relay-Networks. [REVIEW]Calvin C. Elgot - 1958 - Journal of Symbolic Logic 23 (3):366-366.
  32.  2
    Wang Hao. Circuit Synthesis by Solving Sequential Boolean Equations. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 5 , Pp. 291–322. [REVIEW]Calvin C. Elgot - 1960 - Journal of Symbolic Logic 25 (4):373-375.
  33.  10
    Wang Hao. Logic and Computers. The American Mathematical Monthly, Vol. 72, Pp. 135–140.Calvin C. Elgot - 1966 - Journal of Symbolic Logic 31 (2):264-264.