Matricial theories
From MaRDI portal
Publication:1239362
DOI10.1016/0021-8693(76)90106-XzbMath0361.18004MaRDI QIDQ1239362
Publication date: 1976
Published in: Journal of Algebra (Search for Journal in Brave)
18C10: Theories (e.g., algebraic theories), structure, and semantics
18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads
18B20: Categories of machines, automata
Related Items
Feedback, trace and fixed-point semantics, Iterative and recursive matrix theories, Calvin C. Elgot (1922-1980), All solutions of a system of recursion equations in infinite trees and other contraction theories, Deterministic and nondeterministic flowchart interpretations, On flowchart theories. II: The nondeterministic case, Parameter passing in nondeterministic recursive programs, Partially additive categories and flow-diagram semantics, In memoriam Calvin C. Elgot, A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization, Semantic models for total correctness and fairness, On the algebraic structure of rooted trees, Classes of finite relations as initial abstract data types. II, The equational logic of fixed points, Matrix and matricial iteration theories. I, Matrix and matricial iteration theories. II, Fuzzy regular languages over finite and infinite words, Unnamed Item
Cites Work