Selected Papers
Cal Elgot was a very serious and thoughtful researcher, who with great determi nation attempted to find basic explanations for certain mathematical phenomena as the selection of papers in this volume well illustrate. His approach was, for the most part, rather finitist and constructivist, and he w...
Main Author: | |
---|---|
Other Authors: | |
Format: | eBook |
Language: | English |
Published: |
New York, NY
Springer New York
1982, 1982
|
Edition: | 1st ed. 1982 |
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- [4] Realization of Events
- [17] Random-Access Stored-Program Machines, an Approach to Programming Languages
- [25] Abstract Algorithms and Diagram Closure
- [32] Algebraic Theories and Program Schemes
- [31] The Common Algebraic Structure of Exit-Automata and Machines
- [34] Monadic Computation and Iterative Algebraic Theories
- [38] On the Algebraic Structure of Rooted Trees
- [43] Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
- [44] Vector Iteration in Pointed Iterative Theories
- [37] Structured Programming With and Without GO TO Statements
- [42] A Semantically Meaningful Characterization of Reducible Flowchart Schemes
- [50] An Equational Axiomatization of the Algebra of Reducible Flowchart Schemes
- [48] On Coordinated Sequential Processes