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 205 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 797 times in 559 Documents Cited by ▼ Year ▼ Decision problems of finite automata design and related arithmetics. Zbl 0111.01102 Elgot, Calvin C. 154 1962 On relations defined by generalized finite automata. Zbl 0135.00704 Elgot, C. C.; Mezei, J. E. 146 1965 Monadic computation and iterative algebraic theories. Zbl 0327.02040 Elgot, Calvin C. 86 1975 Decidability and undecidability of extensions of second (first) order theory of (generalized) successor. Zbl 0144.24501 Elgot, Calvin C.; Rabin, Michael O. 55 1966 On the algebraic structure of rooted trees. Zbl 0389.68007 Elgot, Calvin C.; Bloom, Stephen L.; Tindell, Ralph 53 1978 A perspective view of discrete automata and their design. Zbl 0123.33502 Elgot, C. C. 35 1965 Matricial theories. Zbl 0361.18004 Elgot, Calvin C. 29 1976 Vector iteration in pointed iterative theories. Zbl 0461.68047 Bloom, Stephen L.; Elgot, Calvin C.; Wright, Jesse B. 26 1980 Random-access stored-program machines, an approach to programming languages. Zbl 0192.07302 Elgot, C. C.; Robinson, A. 25 1964 Solutions of the iteration equation and extensions of the scalar iteration operation. Zbl 0454.18011 Bloom, Stephen L.; Elgot, Calvin C.; Wright, Jesse B. 25 1980 Recursiveness. Zbl 0211.31101 Eilenberg, S.; Elgot, C. C. 23 1970 The existence and construction of free iterative theories. Zbl 0333.68017 Bloom, Stephen L.; Elgot, Calvin C. 21 1976 Structured programming with and without G0 T0 statements. Zbl 0348.68008 Elgot, Calvin C. 16 1976 Sets recognized by n-tape automata. Zbl 0207.02002 Eilenberg, S.; Elgot, C. C.; Shepherdson, J. C. 14 1969 Realization of events by logical nets. Zbl 0088.01901 Copi, Irving M.; Elgot, Calvin C.; Wright, Jesse B. 10 1958 Iteration and recursion. Zbl 0193.31001 Eilenberg, S.; Elgot, C. C. 10 1968 A semantically meaningful characterization of reducible flowchart schemes. Zbl 0399.68024 Elgot, Calvin C.; Shepherdson, John C. 10 1979 An equational axiomatization of the algebra of reducible flowchart schemes. Zbl 0475.68002 Elgot, Calvin C.; Shepherdson, John C. 8 1982 The common algebraic structure of exit-automata and machines. Zbl 0264.94033 Elgot, Calvin C. 8 1970 Quantifier elimination in a problem of logical design. Zbl 0085.34001 Elgot, Calvin C.; Wright, Jesse B. 6 1959 Some ”geometrical” categories associated with flowchart schemes. Zbl 0385.18003 Elgot, Calvin C. 6 1977 Algebraic theories and program schemes. Zbl 0228.68018 Elgot, Calvin C. 6 1971 Realization of events by logical nets. Zbl 0148.25202 Copi, I. M.; Elgot, C. C.; Wright, J. B. 5 1958 Series-parallel graphs and lattices. Zbl 0086.16303 Elgot, Calvin C.; Wright, Jesse B. 4 1959 RS-machines with almost blank tape. Zbl 0168.25701 Elgot, C. C.; Rutledge, J. D. 3 1964 On the many facets of lists. Zbl 0384.68013 Elgot, Calvin C.; Snyder, Lawrence 3 1978 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.01011 Elgot, Calvin C. 2 1982 A representative strong equivalence class for accessible flowchart schemes. Zbl 0411.68014 Elgot, Calvin C. 2 1979 Remarks on one-argument program schemes. Zbl 0278.68067 Elgot, Calvin C. 2 1972 Erratum and corrigendum for ”Structured programming with and without G0 T0 statements”. Zbl 0348.68009 Elgot, Calvin C. 2 1976 Finite automation from a flowchart scheme point of view. Zbl 0373.68044 Elgot, Calvin C. 1 1977 On new roles for categorical algebra. Zbl 0445.18006 Elgot, Calvin C. 1 1980 An equational axiomatization of the algebra of reducible flowchart schemes. Zbl 0475.68002 Elgot, 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.01011 Elgot, Calvin C. 2 1982 Vector iteration in pointed iterative theories. Zbl 0461.68047 Bloom, Stephen L.; Elgot, Calvin C.; Wright, Jesse B. 26 1980 Solutions of the iteration equation and extensions of the scalar iteration operation. Zbl 0454.18011 Bloom, Stephen L.; Elgot, Calvin C.; Wright, Jesse B. 25 1980 On new roles for categorical algebra. Zbl 0445.18006 Elgot, Calvin C. 1 1980 A semantically meaningful characterization of reducible flowchart schemes. Zbl 0399.68024 Elgot, Calvin C.; Shepherdson, John C. 10 1979 A representative strong equivalence class for accessible flowchart schemes. Zbl 0411.68014 Elgot, Calvin C. 2 1979 On the algebraic structure of rooted trees. Zbl 0389.68007 Elgot, Calvin C.; Bloom, Stephen L.; Tindell, Ralph 53 1978 On the many facets of lists. Zbl 0384.68013 Elgot, Calvin C.; Snyder, Lawrence 3 1978 Some ”geometrical” categories associated with flowchart schemes. Zbl 0385.18003 Elgot, Calvin C. 6 1977 Finite automation from a flowchart scheme point of view. Zbl 0373.68044 Elgot, Calvin C. 1 1977 Matricial theories. Zbl 0361.18004 Elgot, Calvin C. 29 1976 The existence and construction of free iterative theories. Zbl 0333.68017 Bloom, Stephen L.; Elgot, Calvin C. 21 1976 Structured programming with and without G0 T0 statements. Zbl 0348.68008 Elgot, Calvin C. 16 1976 Erratum and corrigendum for ”Structured programming with and without G0 T0 statements”. Zbl 0348.68009 Elgot, Calvin C. 2 1976 Monadic computation and iterative algebraic theories. Zbl 0327.02040 Elgot, Calvin C. 86 1975 Remarks on one-argument program schemes. Zbl 0278.68067 Elgot, Calvin C. 2 1972 Algebraic theories and program schemes. Zbl 0228.68018 Elgot, Calvin C. 6 1971 Recursiveness. Zbl 0211.31101 Eilenberg, S.; Elgot, C. C. 23 1970 The common algebraic structure of exit-automata and machines. Zbl 0264.94033 Elgot, Calvin C. 8 1970 Sets recognized by n-tape automata. Zbl 0207.02002 Eilenberg, S.; Elgot, C. C.; Shepherdson, J. C. 14 1969 Iteration and recursion. Zbl 0193.31001 Eilenberg, S.; Elgot, C. C. 10 1968 Decidability and undecidability of extensions of second (first) order theory of (generalized) successor. Zbl 0144.24501 Elgot, Calvin C.; Rabin, Michael O. 55 1966 On relations defined by generalized finite automata. Zbl 0135.00704 Elgot, C. C.; Mezei, J. E. 146 1965 A perspective view of discrete automata and their design. Zbl 0123.33502 Elgot, C. C. 35 1965 Random-access stored-program machines, an approach to programming languages. Zbl 0192.07302 Elgot, C. C.; Robinson, A. 25 1964 RS-machines with almost blank tape. Zbl 0168.25701 Elgot, C. C.; Rutledge, J. D. 3 1964 Decision problems of finite automata design and related arithmetics. Zbl 0111.01102 Elgot, Calvin C. 154 1962 Quantifier elimination in a problem of logical design. Zbl 0085.34001 Elgot, Calvin C.; Wright, Jesse B. 6 1959 Series-parallel graphs and lattices. Zbl 0086.16303 Elgot, Calvin C.; Wright, Jesse B. 4 1959 Realization of events by logical nets. Zbl 0088.01901 Copi, Irving M.; Elgot, Calvin C.; Wright, Jesse B. 10 1958 Realization of events by logical nets. Zbl 0148.25202 Copi, I. M.; Elgot, C. C.; Wright, J. B. 5 1958 all cited Publications top 5 cited Publications all top 5 Cited by 562 Authors 29 Ésik, Zoltán 25 Milius, Stefan 23 Droste, Manfred 18 Adámek, Jiří 18 Bloom, Stephen L. 16 Velebil, Jiří 12 Thomas, Wolfgang 11 Choffrut, Christian 11 Gastin, Paul 10 Kuske, Dietrich 9 Sakarovitch, Jacques 8 Bollig, Benedikt 8 Elgot, Calvin C. 8 Grigorieff, Serge 7 Courcelle, Bruno 7 Filiot, Emmanuel 7 Germano, Giorgio M. 7 Rabinovich, Alexander 6 Boasson, Luc 6 Carton, Olivier 6 Engelfriet, Joost 6 Rahonis, George 6 Ştefănescu, Gheorghe 6 Thatcher, James W. 6 Vogler, Heiko 6 Wright, Jesse B. 5 Figueira, Diego 5 Goncharov, Sergeĭ Savost’yanovich 5 Greibach, Sheila A. 5 Maggiolo-Schettini, Andrea 5 Sabadini, Nicoletta 5 Shepherdson, John C. 5 Walters, Robert F. C. 4 Barceló, Pablo 4 Benson, David B. 4 Blum, Edward Kenneth 4 Căzănescu, Virgil Emil 4 Culik, Karel II 4 Dück, Stefan 4 Frougny, Christiane 4 Kuich, Werner 4 Latteux, Michel 4 Lohrey, Markus 4 Mandrioli, Dino 4 Mazzanti, Stefano 4 Nivat, Maurice 4 Pinchinat, Sophie 4 Piróg, Maciej 4 Pradella, Matteo 4 Terlutte, Alain 3 Alur, Rajeev 3 Autebert, Jean-Michel 3 Bartha, Miklós 3 Bès, Alexis 3 Bojańczyk, Mikołaj 3 Buchi, J. Richard 3 Carpi, Arturo 3 Fortin, Marie-Josée 3 Ginsburg, Seymour 3 Goguen, Joseph Amadee 3 Hieronymi, Philipp 3 Lhote, Nathan 3 Libkin, Leonid O. 3 Madonia, Maria 3 Marion, Jean-Yves 3 Maubert, Bastien 3 Maurer, Ward Douglas 3 Muscholl, Anca 3 Néraud, Jean 3 Perevoshchikov, Vitaly 3 Puppis, Gabriele 3 Rauch, Christoph 3 Schröder, Lutz 3 Schützenberger, Marcel-Paul 3 Troeger, Douglas R. 3 Vardi, Moshe Ya’akov 3 Wagner, Eric G. 3 Wißmann, Thorsten 3 Zeitoun, Marc 3 Zetzsche, Georg 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 Black, David Lee 2 Burstall, Rod M. 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 Elberfeld, Michael 2 Fachini, Emanuela ...and 462 more Authors all top 5 Cited in 81 Serials 114 Theoretical Computer Science 53 Journal of Computer and System Sciences 31 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 Information Processing Letters 7 Kybernetika 7 Mathematical Structures in Computer Science 7 International Journal of Foundations of Computer Science 6 Journal of Algebra 6 Logical Methods in Computer Science 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 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 Journal of Logic, Language and Information 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 the Association for Computing Machinery 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 Formal Aspects of Computing 1 Historia Mathematica 1 RAIRO. Informatique Théorique et Applications 1 Archive for Mathematical Logic 1 Russian Mathematics 1 Formal Methods in System Design 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 Doklady 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 461 Computer science (68-XX) 205 Mathematical logic and foundations (03-XX) 94 Category theory; homological algebra (18-XX) 25 General algebraic systems (08-XX) 17 Combinatorics (05-XX) 15 Group theory and generalizations (20-XX) 11 Associative rings and algebras (16-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 7 Number theory (11-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 6 Information and communication theory, circuits (94-XX) 5 History and biography (01-XX) 4 Quantum theory (81-XX) 3 Linear and multilinear algebra; matrix theory (15-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