Varieties of Iteration Theories
- 1 October 1988
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 17 (5) , 939-966
- https://doi.org/10.1137/0217059
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- On flowchart theories Part I. The deterministic caseJournal of Computer and System Sciences, 1987
- Axiomatizing schemes and their behaviorsJournal of Computer and System Sciences, 1985
- Iterative and recursive matrix theoriesJournal of Algebra, 1984
- Algebras of iteration theoriesJournal of Computer and System Sciences, 1983
- Recursion and iteration in continuous theories: The “M-construction”Journal of Computer and System Sciences, 1983
- Fundamental properties of infinite treesTheoretical Computer Science, 1983
- Iterative algebrasTheoretical Computer Science, 1983
- Partially additive categories and flow-diagram semanticsJournal of Algebra, 1980
- Scalar and vector iterationJournal of Computer and System Sciences, 1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977