Publication:3919058
From MaRDI portal
zbMath0466.68010MaRDI QIDQ3919058
Publication date: 1980
18C10: Theories (e.g., algebraic theories), structure, and semantics
68N01: General topics in the theory of software
18B20: Categories of machines, automata
Related Items
Rewriting on cyclic structures: Equivalence between the operational and the categorical description, Algebras of iteration theories, Algebras, polynomials and programs, On context-free trees, On flowchart theories. I. The deterministic case, Independence of the equational axioms for iteration theories, An equational axiomatization of systolic systems, Equational properties of iteration in algebraically complete categories, An algebraic model of synchronous systems, A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization, Foundations of a theory of synchronous systems, Group axioms for iteration, The equational logic of fixed points, Completeness of Park induction, Axiomatizing schemes and their behaviors, Equational logic of circular data type specification, Matrix and matricial iteration theories. I, Matrix and matricial iteration theories. II