Independence of the equational axioms for iteration theories
- 29 February 1988
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 36 (1) , 66-76
- https://doi.org/10.1016/0022-0000(88)90020-7
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Algebras of iteration theoriesJournal of Computer and System Sciences, 1983
- 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
- Partially additive categories and flow-diagram semanticsJournal of Algebra, 1980
- On the algebraic structure of rooted treesJournal of Computer and System Sciences, 1978
- Rational algebraic theories and fixed-point solutionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976
- The existence and construction of free iterative theoriesJournal of Computer and System Sciences, 1976