A uniform approach to inductive posets and inductive closure
- J.B. Wright
- E.G. Wagner
- et al.
- 1978
- Theoretical Computer Science
Publications
23 results for Eric G. Wagner
Initial Algebra Semantics and Continuous Algebras
- J.A. Goguen
- J.W. Thatcher
- et al.
- 1977
- Journal of the ACM
Rational algebraic theories and fixed-point solutions
- J.B. Wright
- J.W. Thatcher
- et al.
- 1976
- FOCS 1976
Parallel realization of systems, using factorizations and quotients in categories
- J.A. Goguen
- J.W. Thatcher
- et al.
- 1976
- Journal of the Franklin Institute
From algebras to programming languages
- Eric G. Wagner
- 1973
- STOC 1973
Bounded action machines II: The basic structure of Tapeless computers
- E.G. Wagner
- 1972
- Computing
An algebraic theory of recursive definitions and recursive languages
- Eric G. Wagner
- 1971
- POPL 1971
Uniformly reflexive structures: on the nature of gÖdelizations and relative computability
- Eric G. Wagner
- 1969
- Trans. Am. Math. Soc.
"tapeless" bounded action machines
- Eric G. Wagner
- 1968
- SWAT 1968
Bounded action machines: Toward an abstract theory of computer structure
- Eric G. Wagner
- 1968
- Journal of Computer and System Sciences