dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Calvin C. Elgot Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1982
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCalvin C. Elgot, Stephen L. Bloom: Selected papers. Springer 1982: I-XXIV, 1-460
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCalvin C. Elgot, Alan J. Perlis, Lawrence Snyder: A Syntax-Free Semantics for the APL Operators. Inf. Process. Lett. 14(3): 128-131 (1982)
1980
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen L. Bloom, Calvin C. Elgot, Jesse B. Wright: Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation. SIAM J. Comput. 9(1): 25-45 (1980)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen L. Bloom, Calvin C. Elgot, Jesse B. Wright: Vector Iteration in Pointed Iterative Theories. SIAM J. Comput. 9(3): 525-540 (1980)
1979
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCalvin C. Elgot, John C. Shepherdson: A Semantically Meaningful Characterization of Reducible Flowchart Schemes. Theor. Comput. Sci. 8: 325-357 (1979)
1978
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCalvin C. Elgot: A representative strong equivalence class for accessible flowchart schemes. Mathematical Studies of Information Processing 1978: 559-575
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCalvin C. Elgot, Stephen L. Bloom, Ralph Tindell: On the Algebraic Atructure of Rooted Trees. J. Comput. Syst. Sci. 16(3): 362-399 (1978)
1977
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCalvin C. Elgot: Some ``Geometrical'' Categories Associated with Flowchart Schemes. FCT 1977: 256-259
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCalvin C. Elgot: Finite Automaton from a Flowchart Scheme Point of View. MFCS 1977: 44-51
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCalvin C. Elgot, Lawrence Snyder: On the Many Facets of Lists. Theor. Comput. Sci. 5(3): 275-305 (1977)
1976
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCalvin C. Elgot: Structured Programming With and Without GO TO Statements. IEEE Trans. Software Eng. 2(1): 41-54 (1976)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCalvin C. Elgot: Erratum and Corrigendum for "Structured Programming With and Without GO TO Statments". IEEE Trans. Software Eng. 2(3): 232 (1976)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen L. Bloom, Calvin C. Elgot: The Existence and Construction of Free Iterative Theories. J. Comput. Syst. Sci. 12(3): 305-318 (1976)
1971
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCalvin C. Elgot: Algebraic theories and program schemes. Symposium on Semantics of Algorithmic Languages 1971: 71-88
1966
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCalvin C. Elgot, Michael O. Rabin: Decidability and Undecidability of Extensions of Second (First) Order Theory of (Generalized) Successor. J. Symb. Log. 31(2): 169-181 (1966)
1964
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCalvin C. Elgot, Joseph D. Rutledge: RS -Machines with Almost Blank Tape. J. ACM 11(3): 313-337 (1964)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCalvin C. Elgot, Abraham Robinson: Random-Access Stored-Program Machines, an Approach to Programming Languages. J. ACM 11(4): 365-399 (1964)
1963
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCalvin C. Elgot, Jorge E. Mezei: Two-sided finite-state transductions (abbreviated version) SWCT (FOCS) 1963: 17-22
1962
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCalvin C. Elgot, Joseph D. Rutledge: Machine properties preserved under state minimization SWCT (FOCS) 1962: 61-70
1961
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCalvin C. Elgot, Joseph D. Rutledge: Operations of finite automata SWCT (FOCS) 1961: 129-132
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCalvin C. Elgot, Saburo Muroga: Two problems on threshold functions SWCT (FOCS) 1961: 166
1960
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCalvin C. Elgot: Truth functions realizable by single threshold organs SWCT (FOCS) 1960: 225-245
1958
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIrving M. Copi, Calvin C. Elgot, Jesse B. Wright: Realization of Events by Logical Nets. J. ACM 5(2): 181-196 (1958)
1954
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCalvin C. Elgot: On Single vs. Triple Address Computing Machines J. ACM 1(3): 119-123 (1954)

Coauthor Index

1Stephen L. Bloom [12] [18] [21] [22] [24]
2Irving M. Copi [2]
3Jorge E. Mezei [7]
4Saburo Muroga [4]
5Alan J. Perlis [23]
6Michael O. Rabin [10]
7Abraham Robinson [8]
8Joseph D. Rutledge [5] [6] [9]
9John C. Shepherdson [20]
10Lawrence Snyder (Larry Snyder) [15] [23]
11Ralph Tindell [18]
12Jesse B. Wright [2] [21] [22]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page