- 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 Elgot
19 found
Order:
Disambiguations
Disambiguations:
| Calvin C. Elgot [20] | Calvin Elgot [1] | Calvin G. Elgot [1] |
- 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.
- [Omnibus Review].Calvin C. Elgot - 1960 - Journal of Symbolic Logic 25 (2):163-164.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Goto Mochinori, Komamiya Yasuo, Suekane Ryota, Takagi Masahide, and Kuwabara Shigeru. Theory and structure of the automatic relay computer E. T. L. Mark II. Researches of the Electrotechnical Laboratory, no. 556. Electrotechnical Laboratory, Agency of Industrial Science and Technology, Tokyo 1956, ix + 214 pp. and 37 plates. [REVIEW]Calvin Elgot - 1958 - Journal of Symbolic Logic 23 (1):60-60.
- 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.
- 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.
- 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.
- 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: 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.
- 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.
- 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.
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-fcc9b7db9-hmqz7 uwo