Edit Profile (opens in new tab) Elgot, Calvin C. Co-Author Distance Author ID: elgot.calvin-c Published as: Elgot, Calvin C.; Elgot, C. C. Documents Indexed: 34 Publications since 1958, including 2 Books Biographic References: 2 Publications Co-Authors: 12 Co-Authors with 20 Joint Publications 200 Co-Co-Authors all top 5 Co-Authors 14 single-authored 7 Wright, Jesse B. 4 Bloom, Stephen L. 3 Copi, Irving M. 3 Eilenberg, Samuel 3 Shepherdson, John C. 2 Snyder, Lawrence V. 1 Mezei, J. E. 1 Perlis, Alan Jay 1 Rabin, Michael O. 1 Robinson, Abraham 1 Rutledge, Joseph D. 1 Tindell, Ralph all top 5 Serials 3 Journal of the Association for Computing Machinery 2 Journal of Algebra 2 Journal of Computer and System Sciences 2 SIAM Journal on Computing 2 Theoretical Computer Science 2 IEEE Transactions on Software Engineering 1 American Mathematical Monthly 1 Information Processing Letters 1 Computing 1 Duke Mathematical Journal 1 Journal of Pure and Applied Algebra 1 The Journal of Symbolic Logic 1 Michigan Mathematical Journal 1 Transactions of the American Mathematical Society 1 IBM Journal of Research and Development 1 Proceedings of the National Academy of Sciences of the United States of America all top 5 Fields 19 Computer science (68-XX) 8 Category theory; homological algebra (18-XX) 7 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 1 History and biography (01-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 32 Publications have been cited 723 times in 503 Documents Cited by ▼ Year ▼ Decision problems of finite automata design and related arithmetics. Zbl 0111.01102Elgot, Calvin C. 131 1962 On relations defined by generalized finite automata. Zbl 0135.00704Elgot, C. C.; Mezei, J. E. 131 1965 Monadic computation and iterative algebraic theories. Zbl 0327.02040Elgot, Calvin C. 72 1975 On the algebraic structure of rooted trees. Zbl 0389.68007Elgot, Calvin C.; Bloom, Stephen L.; Tindell, Ralph 52 1978 Decidability and undecidability of extensions of second (first) order theory of (generalized) successor. Zbl 0144.24501Elgot, Calvin C.; Rabin, Michael O. 48 1966 A perspective view of discrete automata and their design. Zbl 0123.33502Elgot, C. C. 35 1965 Matricial theories. Zbl 0361.18004Elgot, Calvin C. 27 1976 Vector iteration in pointed iterative theories. Zbl 0461.68047Bloom, Stephen L.; Elgot, Calvin C.; Wright, Jesse B. 25 1980 Solutions of the iteration equation and extensions of the scalar iteration operation. Zbl 0454.18011Bloom, Stephen L.; Elgot, Calvin C.; Wright, Jesse B. 24 1980 Random-access stored-program machines, an approach to programming languages. Zbl 0192.07302Elgot, C. C.; Robinson, A. 23 1964 Recursiveness. Zbl 0211.31101Eilenberg, S.; Elgot, C. C. 21 1970 The existence and construction of free iterative theories. Zbl 0333.68017Bloom, Stephen L.; Elgot, Calvin C. 20 1976 Structured programming with and without G0 T0 statements. Zbl 0348.68008Elgot, Calvin C. 16 1976 Sets recognized by n-tape automata. Zbl 0207.02002Eilenberg, S.; Elgot, C. C.; Shepherdson, J. C. 14 1969 Realization of events by logical nets. Zbl 0088.01901Copi, Irving M.; Elgot, Calvin C.; Wright, Jesse B. 10 1958 A semantically meaningful characterization of reducible flowchart schemes. Zbl 0399.68024Elgot, Calvin C.; Shepherdson, John C. 10 1979 Iteration and recursion. Zbl 0193.31001Eilenberg, S.; Elgot, C. C. 9 1968 The common algebraic structure of exit-automata and machines. Zbl 0264.94033Elgot, Calvin C. 8 1970 An equational axiomatization of the algebra of reducible flowchart schemes. Zbl 0475.68002Elgot, Calvin C.; Shepherdson, John C. 8 1982 Quantifier elimination in a problem of logical design. Zbl 0085.34001Elgot, Calvin C.; Wright, Jesse B. 6 1959 Some ”geometrical” categories associated with flowchart schemes. Zbl 0385.18003Elgot, Calvin C. 6 1977 Realization of events by logical nets. Zbl 0148.25202Copi, I. M.; Elgot, C. C.; Wright, J. B. 5 1958 Algebraic theories and program schemes. Zbl 0228.68018Elgot, Calvin C. 4 1971 Series-parallel graphs and lattices. Zbl 0086.16303Elgot, Calvin C.; Wright, Jesse B. 4 1959 On the many facets of lists. Zbl 0384.68013Elgot, Calvin C.; Snyder, Lawrence 3 1978 RS-machines with almost blank tape. Zbl 0168.25701Elgot, C. C.; Rutledge, J. D. 2 1964 Remarks on one-argument program schemes. Zbl 0278.68067Elgot, Calvin C. 2 1972 A representative strong equivalence class for accessible flowchart schemes. Zbl 0411.68014Elgot, Calvin C. 2 1979 Calvin C. Elgot, selected papers. Ed. by Stephen L. Bloom. With a foreword by Dana S. Scott and ”a glimpse back” by Samuel Eilenberg. Zbl 0496.01011Elgot, Calvin C. 2 1982 On new roles for categorical algebra. Zbl 0445.18006Elgot, Calvin C. 1 1980 Erratum and corrigendum for ”Structured programming with and without G0 T0 statements”. Zbl 0348.68009Elgot, Calvin C. 1 1976 Finite automation from a flowchart scheme point of view. Zbl 0373.68044Elgot, Calvin C. 1 1977 An equational axiomatization of the algebra of reducible flowchart schemes. Zbl 0475.68002Elgot, Calvin C.; Shepherdson, John C. 8 1982 Calvin C. Elgot, selected papers. Ed. by Stephen L. Bloom. With a foreword by Dana S. Scott and ”a glimpse back” by Samuel Eilenberg. Zbl 0496.01011Elgot, Calvin C. 2 1982 Vector iteration in pointed iterative theories. Zbl 0461.68047Bloom, Stephen L.; Elgot, Calvin C.; Wright, Jesse B. 25 1980 Solutions of the iteration equation and extensions of the scalar iteration operation. Zbl 0454.18011Bloom, Stephen L.; Elgot, Calvin C.; Wright, Jesse B. 24 1980 On new roles for categorical algebra. Zbl 0445.18006Elgot, Calvin C. 1 1980 A semantically meaningful characterization of reducible flowchart schemes. Zbl 0399.68024Elgot, Calvin C.; Shepherdson, John C. 10 1979 A representative strong equivalence class for accessible flowchart schemes. Zbl 0411.68014Elgot, Calvin C. 2 1979 On the algebraic structure of rooted trees. Zbl 0389.68007Elgot, Calvin C.; Bloom, Stephen L.; Tindell, Ralph 52 1978 On the many facets of lists. Zbl 0384.68013Elgot, Calvin C.; Snyder, Lawrence 3 1978 Some ”geometrical” categories associated with flowchart schemes. Zbl 0385.18003Elgot, Calvin C. 6 1977 Finite automation from a flowchart scheme point of view. Zbl 0373.68044Elgot, Calvin C. 1 1977 Matricial theories. Zbl 0361.18004Elgot, Calvin C. 27 1976 The existence and construction of free iterative theories. Zbl 0333.68017Bloom, Stephen L.; Elgot, Calvin C. 20 1976 Structured programming with and without G0 T0 statements. Zbl 0348.68008Elgot, Calvin C. 16 1976 Erratum and corrigendum for ”Structured programming with and without G0 T0 statements”. Zbl 0348.68009Elgot, Calvin C. 1 1976 Monadic computation and iterative algebraic theories. Zbl 0327.02040Elgot, Calvin C. 72 1975 Remarks on one-argument program schemes. Zbl 0278.68067Elgot, Calvin C. 2 1972 Algebraic theories and program schemes. Zbl 0228.68018Elgot, Calvin C. 4 1971 Recursiveness. Zbl 0211.31101Eilenberg, S.; Elgot, C. C. 21 1970 The common algebraic structure of exit-automata and machines. Zbl 0264.94033Elgot, Calvin C. 8 1970 Sets recognized by n-tape automata. Zbl 0207.02002Eilenberg, S.; Elgot, C. C.; Shepherdson, J. C. 14 1969 Iteration and recursion. Zbl 0193.31001Eilenberg, S.; Elgot, C. C. 9 1968 Decidability and undecidability of extensions of second (first) order theory of (generalized) successor. Zbl 0144.24501Elgot, Calvin C.; Rabin, Michael O. 48 1966 On relations defined by generalized finite automata. Zbl 0135.00704Elgot, C. C.; Mezei, J. E. 131 1965 A perspective view of discrete automata and their design. Zbl 0123.33502Elgot, C. C. 35 1965 Random-access stored-program machines, an approach to programming languages. Zbl 0192.07302Elgot, C. C.; Robinson, A. 23 1964 RS-machines with almost blank tape. Zbl 0168.25701Elgot, C. C.; Rutledge, J. D. 2 1964 Decision problems of finite automata design and related arithmetics. Zbl 0111.01102Elgot, Calvin C. 131 1962 Quantifier elimination in a problem of logical design. Zbl 0085.34001Elgot, Calvin C.; Wright, Jesse B. 6 1959 Series-parallel graphs and lattices. Zbl 0086.16303Elgot, Calvin C.; Wright, Jesse B. 4 1959 Realization of events by logical nets. Zbl 0088.01901Copi, Irving M.; Elgot, Calvin C.; Wright, Jesse B. 10 1958 Realization of events by logical nets. Zbl 0148.25202Copi, I. M.; Elgot, C. C.; Wright, J. B. 5 1958 all cited Publications top 5 cited Publications all top 5 Cited by 484 Authors 27 Ésik, Zoltán 24 Milius, Stefan 21 Droste, Manfred 17 Adámek, Jiří 16 Bloom, Stephen L. 16 Velebil, Jiří 12 Thomas, Wolfgang 11 Choffrut, Christian 10 Kuske, Dietrich 9 Sakarovitch, Jacques 8 Elgot, Calvin C. 7 Courcelle, Bruno 7 Gastin, Paul 7 Germano, Giorgio M. 7 Grigorieff, Serge 6 Bollig, Benedikt 6 Carton, Olivier 6 Engelfriet, Joost 6 Rabinovich, Alexander 6 Rahonis, George 6 Ştefănescu, Gheorghe 6 Vogler, Heiko 6 Wright, Jesse B. 5 Boasson, Luc 5 Filiot, Emmanuel 5 Greibach, Sheila A. 5 Maggiolo-Schettini, Andrea 5 Shepherdson, John C. 5 Thatcher, James W. 4 Benson, David B. 4 Căzănescu, Virgil Emil 4 Culik, Karel II 4 Dück, Stefan 4 Figueira, Diego 4 Frougny, Christiane 4 Kuich, Werner 4 Lohrey, Markus 4 Mazzanti, Stefano 4 Nivat, Maurice 4 Pinchinat, Sophie 4 Piróg, Maciej 4 Sabadini, Nicoletta 4 Terlutte, Alain 4 Walters, Robert F. C. 3 Autebert, Jean-Michel 3 Barceló, Pablo 3 Bartha, Miklós 3 Bès, Alexis 3 Blum, Edward Kenneth 3 Buchi, J. Richard 3 Carpi, Arturo 3 Ginsburg, Seymour 3 Goncharov, Sergeĭ Savost’yanovich 3 Latteux, Michel 3 Mandrioli, Dino 3 Maubert, Bastien 3 Maurer, Ward Douglas 3 Muscholl, Anca 3 Pradella, Matteo 3 Puppis, Gabriele 3 Rauch, Christoph 3 Schröder, Lutz 3 Schützenberger, Marcel-Paul 3 Troeger, Douglas R. 3 Wagner, Eric G. 3 Wißmann, Thorsten 3 Zeitoun, Marc 2 Aceto, Luca 2 Aczel, Peter 2 Arbib, Michael A. 2 Arnold, André 2 Bárány, Vince 2 Beauquier, Joffroy 2 Bedon, Nicolas 2 Bergstra, Jan A. 2 Cegielski, Patrick 2 Choueka, Yaacov 2 Cremers, Armin B. 2 De Marchi, Federico 2 Descotte, María Emilia 2 Dima, Cătălin 2 Dziadek, Sven 2 Eiter, Thomas 2 Fachini, Emanuela 2 Fisman, Dana 2 Fortin, Marie-Josée 2 Gallier, Jean H. 2 Gasarch, William Ian 2 Ghani, Neil 2 Gibbons, Jeremy 2 Ginali, Susanna 2 Goguen, Joseph Amadee 2 Guessarian, Irène 2 Hachaïchi, Yassine 2 Haeusler, Edward Hermann 2 Hajgató, Tamás 2 Harju, Tero 2 Havel, Ivan M. 2 Hibbard, Thomas N. 2 Hofstra, Pieter J. W. ...and 384 more Authors all top 5 Cited in 77 Serials 111 Theoretical Computer Science 51 Journal of Computer and System Sciences 28 Information and Computation 18 Mathematical Systems Theory 13 RAIRO. Theoretical Informatics and Applications 12 Acta Informatica 12 RAIRO, Informatique Théorique 8 Annals of Pure and Applied Logic 8 Theory of Computing Systems 7 Kybernetika 7 MSCS. Mathematical Structures in Computer Science 7 International Journal of Foundations of Computer Science 6 Information Processing Letters 6 Journal of Algebra 5 Discrete Mathematics 4 Archiv für Mathematische Logik und Grundlagenforschung 4 Information Sciences 4 Journal of Pure and Applied Algebra 4 Transactions of the American Mathematical Society 4 Logical Methods in Computer Science 4 Computer Science Review 3 International Journal of Algebra and Computation 3 International Journal of Computer Mathematics 3 ACM Transactions on Computational Logic 3 Bulletin of the American Mathematical Society 2 Artificial Intelligence 2 Journal of Mathematical Analysis and Applications 2 Cybernetics 2 Journal of Automated Reasoning 2 Discrete Event Dynamic Systems 2 Applied Categorical Structures 2 Journal of Mathematical Sciences (New York) 2 The Bulletin of Symbolic Logic 2 Annals of Mathematics and Artificial Intelligence 2 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 2 The Journal of Logic and Algebraic Programming 2 Journal of Logical and Algebraic Methods in Programming 1 Acta Mathematica Academiae Scientiarum Hungaricae 1 Communications in Algebra 1 Discrete Applied Mathematics 1 Journal of the Franklin Institute 1 Advances in Mathematics 1 Algebra and Logic 1 Annales de l’Institut Fourier 1 Calcolo 1 Computing 1 Fuzzy Sets and Systems 1 International Journal of Computer & Information Sciences 1 Journal of Soviet Mathematics 1 The Journal of Symbolic Logic 1 Mathematische Annalen 1 Semigroup Forum 1 Siberian Mathematical Journal 1 Theory and Decision 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Mathematical Social Sciences 1 Historia Mathematica 1 RAIRO. Informatique Théorique et Applications 1 Archive for Mathematical Logic 1 Russian Mathematics 1 Journal of Logic, Language and Information 1 Mathematical Logic Quarterly (MLQ) 1 Journal of Functional Programming 1 Selecta Mathematica. New Series 1 Theory and Applications of Categories 1 Izvestiya: Mathematics 1 Soft Computing 1 Journal of the ACM 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Higher-Order and Symbolic Computation 1 International Game Theory Review 1 Comptes Rendus. Mathématique. Académie des Sciences, Paris 1 Journal of Analysis and Applications 1 Journal of Applied Logic 1 BIT. Nordisk Tidskrift for Informationsbehandling 1 The Review of Symbolic Logic 1 RAIRO. Theoretical Informatics and Applications all top 5 Cited in 26 Fields 412 Computer science (68-XX) 169 Mathematical logic and foundations (03-XX) 88 Category theory; homological algebra (18-XX) 22 General algebraic systems (08-XX) 15 Combinatorics (05-XX) 14 Group theory and generalizations (20-XX) 10 Associative rings and algebras (16-XX) 6 Number theory (11-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 History and biography (01-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 5 Information and communication theory, circuits (94-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Quantum theory (81-XX) 2 Field theory and polynomials (12-XX) 2 Commutative algebra (13-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Systems theory; control (93-XX) 1 General and overarching topics; collections (00-XX) 1 Real functions (26-XX) 1 Sequences, series, summability (40-XX) 1 General topology (54-XX) 1 Algebraic topology (55-XX) 1 Manifolds and cell complexes (57-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) Citations by Year