Results for 'C. C. Elgot'

978 found
Order:
  1.  28
    Review: Hao Wang, Symbolic Representations of Calculating Machines. [REVIEW]C. C. Elgot - 1962 - Journal of Symbolic Logic 27 (1):103-103.
  2.  10
    Review: Robert W. Ritchie, Classes of Predictably Computable Functions. [REVIEW]C. C. Elgot - 1963 - Journal of Symbolic Logic 28 (3):252-253.
  3.  12
    Ritchie Robert W.. Classes of predictably computable functions. Transactions of the American Mathematical Society, vol. 106 , pp. 139–173. [REVIEW]C. C. Elgot - 1963 - Journal of Symbolic Logic 28 (3):252-253.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  47
    Wang Hao. Symbolic representations of calculating machines. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 181–188. [REVIEW]C. C. Elgot - 1962 - Journal of Symbolic Logic 27 (1):103-103.
  5. [Omnibus Review].Calvin C. Elgot - 1960 - Journal of Symbolic Logic 25 (2):163-164.
  6.  48
    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   10 citations  
  7.  8
    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.
  8.  9
    Certain Directed post Systems and Automata.Calvin C. Elgot & R. M. Baer - 1970 - Journal of Symbolic Logic 35 (1):158.
  9.  14
    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.
  10.  23
    Realization of Events by Logical Nets.Irving M. Copi, Calvin C. Elgot & Jesse B. Wright - 1967 - Journal of Symbolic Logic 32 (3):389-390.
  11.  16
    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.
  12.  6
    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  
  13.  7
    Review: Hao Wang, Logic and Computers. [REVIEW]Calvin C. Elgot - 1966 - Journal of Symbolic Logic 31 (2):264-264.
  14. Review: J. Richard Buchi, Regular Canonical Systems. [REVIEW]Calvin C. Elgot - 1966 - Journal of Symbolic Logic 31 (2):265-267.
     
    Export citation  
     
    Bookmark  
  15.  23
    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.
  16.  19
    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)  
     
    Export citation  
     
    Bookmark  
  17.  39
    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)  
     
    Export citation  
     
    Bookmark  
  18.  34
    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)  
     
    Export citation  
     
    Bookmark  
  19.  13
    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)  
     
    Export citation  
     
    Bookmark  
  20.  18
    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  
  21.  11
    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.
  22.  18
    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)  
     
    Export citation  
     
    Bookmark  
  23.  15
    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.
  24.  22
    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.
  25.  40
    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  
  26.  35
    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  
  27.  9
    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  
  28.  25
    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.
  29.  10
    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.
  30.  13
    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  
  31.  12
    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  
  32.  13
    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.
  33.  6
    Review: Hao Wang, Circuit Synthesis by Solving Sequential Boolean Equations. [REVIEW]Calvin C. Elgot - 1960 - Journal of Symbolic Logic 25 (4):373-375.
  34.  8
    Review: John W. Carr., Languages, Logic, Learning, and Computers. [REVIEW]Calvin C. Elgot - 1959 - Journal of Symbolic Logic 24 (3):256-257.
  35.  11
    Review: Yasuo Komamiya, Theory of Computing Relay-Networks. [REVIEW]Calvin C. Elgot - 1958 - Journal of Symbolic Logic 23 (3):366-366.
  36.  6
    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.
  37.  28
    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  
  38.  9
    Review: C. C. Elgot, Decision Problems of Finite Automata Design and Related Arithmetics. [REVIEW]Robert McNaughton - 1969 - Journal of Symbolic Logic 34 (3):509-510.
  39.  16
    Elgot C. C.. Decision problems of finite automata design and related arithmetics. Transactions of the American Mathematical Society, vol. 98 , pp. 21–51. [REVIEW]Robert McNaughton - 1969 - Journal of Symbolic Logic 34 (3):509-510.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40. Samuel Eilenberg and Calvin C. Elgot, recursiveness. [REVIEW]R. Murawski - 1974 - Studia Logica 33:220.
     
    Export citation  
     
    Bookmark  
  41.  10
    Review: Calvin C. Elgot, On Single vs. Triple Address Computing Machines. [REVIEW]Raymond J. Nelson - 1956 - Journal of Symbolic Logic 21 (2):208-209.
  42.  42
    Irving M. Copi, Calvin C. Elgot, and Jesse B. Wright. Realization of events by logical nets. Sequential machines, Selected papers, edited by Edward F. Moore, Addison-Wesley Publishing Company, Inc., Reading, Massachusetts, Palo Alto, and London, 1964, pp. 175–192. , pp. 181–196.). [REVIEW]Andrzej J. Blikle - 1967 - Journal of Symbolic Logic 32 (3):389-390.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  43. Review: Irving M. Copi, Calvin C. Elgot, Jesse B. Wright, Realization of Events by Logical Nets. [REVIEW]Andrzej J. Blikle - 1967 - Journal of Symbolic Logic 32 (3):389-390.
     
    Export citation  
     
    Bookmark  
  44.  14
    Elgot Calvin C.. On single vs. triple address computing machines. Journal of the Association for Computing Machinery, vol. 1 no. 3 , pp. 119–123. [REVIEW]Raymond J. Nelson - 1956 - Journal of Symbolic Logic 21 (2):208-209.
  45. Classical Club of the George Washington University.C. C. Waters - 1909 - Classical Weekly 3:111.
    No categories
     
    Export citation  
     
    Bookmark  
  46. Diels, H.: Heracleitos von Ephesos.C. C. Waters - 1909 - Classical Weekly 3:110-111.
    No categories
     
    Export citation  
     
    Bookmark  
  47. Model Theory.C. C. Chang & H. Jerome Keisler - 1992 - Studia Logica 51 (1):154-155.
     
    Export citation  
     
    Bookmark   117 citations  
  48.  61
    The End of the Euthyphro.C. C. W. Taylor - 1982 - Phronesis 27 (1):109-118.
  49.  65
    Nicomachean Ethics.C. C. W. Taylor - 1988 - Philosophical Review 97 (2):247.
  50.  20
    Lazare and Sadi Carnot. A Scientific and Filial Relationship, 2014, Springer.C. C. Gillispie & R. Pisano - 2014 - Springer.
    Lazare Carnot was the unique example in the history of science of someone who inadvertently owed the scientific recognition he eventually achieved to earlier political prominence. He and his son Sadi produced work that derived from their training as engineers and went largely unnoticed by physicists for a generation or more, even though their respective work introduced concepts that proved fundamental when taken up later by other hands. There was, moreover, a filial as well as substantive relation between the work (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
1 — 50 / 978