- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Calvin C. Elgot
20 found
Order:
- 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.
- Design algorithms in automata languages : final report.Arthur W. Burks, J. Richard B.??chi, Calvin C. Elgot & Jesse B. Wright - unknown
- Realization of Events by Logical Nets.Irving M. Copi, Calvin C. Elgot & Jesse B. Wright - 1967 - Journal of Symbolic Logic 32 (3):389-390.
- Certain Directed post Systems and Automata.Calvin C. Elgot & R. M. Baer - 1970 - Journal of Symbolic Logic 35 (1):158.
- [Omnibus Review].Calvin C. Elgot - 1960 - Journal of Symbolic Logic 25 (2):163-164.
- (3 other versions)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.
- 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.
- (1 other version)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.
- (1 other version)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.
- 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.
- (1 other version)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.
- (1 other version)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.
- 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.
- (2 other versions)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.
- (1 other version)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.
- (1 other version)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.
- 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.
- (1 other version)Review: Hao Wang, Circuit Synthesis by Solving Sequential Boolean Equations. [REVIEW]Calvin C. Elgot - 1960 - Journal of Symbolic Logic 25 (4):373-375.
- (1 other version)Review: Hao Wang, Logic and Computers. [REVIEW]Calvin C. Elgot - 1966 - Journal of Symbolic Logic 31 (2):264-264.
- 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.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6f97f49787-r597v uwo