Results for 'Calvin Elgot'

(not author) ( search as author name )
1000+ found
Order:
  1.  49
    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  
  2. [Omnibus Review].Calvin C. Elgot - 1960 - Journal of Symbolic Logic 25 (2):163-164.
  3.  5
    Certain Directed post Systems and Automata.Calvin C. Elgot & R. M. Baer - 1970 - Journal of Symbolic Logic 35 (1):158.
  4.  15
    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.
  5.  28
    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.
  6.  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  
  7.  18
    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.
  8.  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.
  9.  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.
  10.  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  
  11.  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  
  12.  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  
  13.  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.
  14.  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  
  15.  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.
  16.  6
    Review: Hao Wang, Circuit Synthesis by Solving Sequential Boolean Equations. [REVIEW]Calvin C. Elgot - 1960 - Journal of Symbolic Logic 25 (4):373-375.
  17.  7
    Review: Hao Wang, Logic and Computers. [REVIEW]Calvin C. Elgot - 1966 - Journal of Symbolic Logic 31 (2):264-264.
  18. Review: J. Richard Buchi, Regular Canonical Systems. [REVIEW]Calvin C. Elgot - 1966 - Journal of Symbolic Logic 31 (2):265-267.
     
    Export citation  
     
    Bookmark  
  19.  8
    Review: John W. Carr., Languages, Logic, Learning, and Computers. [REVIEW]Calvin C. Elgot - 1959 - Journal of Symbolic Logic 24 (3):256-257.
  20.  11
    Review: Yasuo Komamiya, Theory of Computing Relay-Networks. [REVIEW]Calvin C. Elgot - 1958 - Journal of Symbolic Logic 23 (3):366-366.
  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.  17
    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.  34
    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.  17
    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.  22
    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.
  28.  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  
  29.  36
    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  
  30.  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.
  31.  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  
  32.  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  
  33.  7
    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.
  34.  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  
  35.  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.
  36.  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.
  37. Samuel Eilenberg and Calvin C. Elgot, recursiveness. [REVIEW]R. Murawski - 1974 - Studia Logica 33:220.
     
    Export citation  
     
    Bookmark  
  38.  25
    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  
  39. 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  
  40.  42
    Bill Calvin's brainstorm.William Calvin - manuscript
    That’s Bill Calvin, whose brain is worthy of study in its own right. Technically, he’s a theoretical neurophysiologist and affiliate professor of psychiatry and behavioral sciences at the University of Washington. But he’s also known as a scientist with a wide-ranging intellect and a prolific (and accessible) writer who constantly offers remarkable insights about the world around him. As I sat down to interview Calvin in his book-lined Seattle home last Fall, I recalled the comments of someone who (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Breathing life into law : what it means to take an ethics + approach to conceptualise law in research governance.Calvin Ho & Justin Wong - 2022 - In G. T. Laurie, E. S. Dove & Niamh Nic Shuibhne (eds.), Law and legacy in medical jurisprudence: essays in honour of Graeme Laurie. New York, NY: Cambridge University Press.
     
    Export citation  
     
    Bookmark  
  42.  4
    The new philosophy: the science of physical phenomena: first explanations of electricity, gravitation, repulsion and the new atomic element rex: new explanations of sound, heat, light, cohesion, magnetism, atmosphere, astronomy, and nervous force.Calvin Samuel Page - 1913 - Chicago: Science Publishing Co..
    This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.This work is in the public domain in (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  23
    Heidegger, Afropessimism, and the Harlem Renaissance: An Interview with Calvin Warren.Calvin Warren, Michelle E. Banks, Robert Savino Oventile & Yuliana Samson - 2022 - Diacritics 50 (2):112-121.
    Abstract:Calvin Warren talks about Heidegger's influence on Afropessimism, and about the philosophical significance of the Harlem Renaissance.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  13
    Substantiation: Trans and Con.Calvin G. Normore - 2023 - In Gyula Klima (ed.), The Metaphysics and Theology of the Eucharist: A Historical-Analytical Survey of the Problems of the Sacrament. Springer Verlag. pp. 281-295.
    William Ockham and John Wyclif develop strikingly different accounts of the Eucharist in the light of strikingly different metaphysical assumptions. Ockham assumes that God can create or annihilate any other actual being without creating or destroying anything not a part of it and so that God can annihilate a substance while preserving its real accidents. Wyclif supposes that to annihilate a being is to annihilate not only its accidents but everything in its Porphyrian tree. Ockham takes being to be univocal, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  9
    Health and Data Equity in Public Health Emergency Risk and Crisis Communication (PHERCC).Calvin Wai-Loon Ho - 2024 - American Journal of Bioethics 24 (4):102-104.
    The ethical restatement of the “risk and crisis communication in public health emergency” (PHERCC) matrix by Spitale et al. (2024) is a step up from mainstream approaches like the Crisis and Emerge...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. John Calvin on God and political duty.Jean Calvin - 1950 - New York,: Liberal Arts Press.
  47. The damages of a Christian worldview.Calvin Seerveld - 2009 - In J. Matthew Bonzo & Michael Roger Stevens (eds.), After worldview: Christian higher education in postmodern worlds. Sioux Center, Iowa: Dordt College Press.
     
    Export citation  
     
    Bookmark  
  48. Luther and Calvin on Secular Authority.Martin Luther, John Calvin, Harro Hopfl, Michael G. Baylor, Francisco de Vitoria & Anthony Pagden - 1993 - Ethics 103 (3):551-569.
  49.  13
    Ontological Terror: Blackness, Nihilism, and Emancipation.Calvin L. Warren - 2018 - Duke University Press.
    In _Ontological Terror_ Calvin L. Warren intervenes in Afro-pessimism, Heideggerian metaphysics, and black humanist philosophy by positing that the "Negro question" is intimately imbricated with questions of Being. Warren uses the figure of the antebellum free black as a philosophical paradigm for thinking through the tensions between blackness and Being. He illustrates how blacks embody a metaphysical nothing. This nothingness serves as a destabilizing presence and force as well as that which whiteness defines itself against. Thus, the function of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  50.  28
    William H. Calvin , "memory's future," psychology today 34(2):55ff.William Calvin - manuscript
    Psychology's fascination with memory and its imperfections dates back further than we can remember. The first careful experimental studies of memory were published in 1885 by German psychologist Hermann Ebbinghaus, and tens of thousands of memory studies have been conducted since. What has been learned, and what might the future of memory be?
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000