Iterative and recursive matrix theories
- 29 February 1984
- journal article
- Published by Elsevier in Journal of Algebra
- Vol. 86 (2) , 302-314
- https://doi.org/10.1016/0021-8693(84)90035-8
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Deterministic and nondeterministic flowchart interpretationsJournal of Computer and System Sciences, 1983
- All solutions of a system of recursion equations in infinite trees and other contraction theoriesJournal of Computer and System Sciences, 1983
- Algebraic semanticsLecture Notes in Computer Science, 1981
- Formal computations of non deterministic recursive program schemesTheory of Computing Systems, 1979
- Regular trees and the free iterative theoryJournal of Computer and System Sciences, 1979
- First-Order Dynamic LogicLecture Notes in Computer Science, 1979
- Matricial theoriesJournal of Algebra, 1976
- The existence and construction of free iterative theoriesJournal of Computer and System Sciences, 1976
- On context-free languages and push-down automataInformation and Control, 1963