Calvin C. Elgot (1922-1980)
From MaRDI portal
Publication:788706
DOI10.1016/0022-0000(83)90034-XzbMath0532.01020OpenAlexW2031994252MaRDI QIDQ788706
Publication date: 1983
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-0000(83)90034-x
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Quantifier elimination in a problem of logical design
- Series-parallel graphs and lattices
- The existence and construction of free iterative theories
- Matricial theories
- On the many facets of lists
- On the algebraic structure of rooted trees
- A semantically meaningful characterization of reducible flowchart schemes
- Sets recognized by n-tape automata
- Symposium on semantics of algorithmic languages
- The common algebraic structure of exit-automata and machines
- Decision Problems of Finite Automata Design and Related Arithmetics
- Vector Iteration in Pointed Iterative Theories
- Structured Programming With and Without go to Statements
- On Relations Defined by Generalized Finite Automata
- Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
- RS -Machines with Almost Blank Tape
- Random-Access Stored-Program Machines, an Approach to Programming Languages
- ITERATION AND RECURSION
- A Perspective View of Discrete Automata and Their Design
