Axiomatizing schemes and their behaviors
- 31 December 1985
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 31 (3) , 375-393
- https://doi.org/10.1016/0022-0000(85)90059-5
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Algebras of iteration theoriesJournal of Computer and System Sciences, 1983
- An axiomatization of D-scheme strong equivalenceJournal of Computer and System Sciences, 1983
- An Equational Axiomatization of the Algebra of Reducible Flowchart SchemesPublished by Springer Nature ,1982
- Vector Iteration in Pointed Iterative TheoriesSIAM Journal on Computing, 1980
- Solutions of the Iteration Equation and Extensions of the Scalar Iteration OperationSIAM Journal on Computing, 1980
- Algebraic and graph theoretic characterizations of structured flowchart schemesTheoretical Computer Science, 1979
- On the algebraic structure of rooted treesJournal of Computer and System Sciences, 1978
- Scalar and vector iterationJournal of Computer and System Sciences, 1977
- The existence and construction of free iterative theoriesJournal of Computer and System Sciences, 1976
- Monadic Computation And Iterative Algebraic TheoriesPublished by Elsevier ,1975