scientific article
From MaRDI portal
Publication:3919058
zbMath0466.68010MaRDI QIDQ3919058
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theories (e.g., algebraic theories), structure, and semantics (18C10) General topics in the theory of software (68N01) Categories of machines, automata (18B20)
Related Items (30)
A connection between concurrency and language theory ⋮ On context-free trees ⋮ Some quasi-varieties of iteration theories ⋮ Matrix and matricial iteration theories. I ⋮ Matrix and matricial iteration theories. II ⋮ On flowchart theories. I. The deterministic case ⋮ Axiomatizing the equational theory of regular tree languages ⋮ Independence of the equational axioms for iteration theories ⋮ Axiomatizing rational power series over natural numbers ⋮ An analysis of the equational properties of the well-founded fixed point ⋮ An equational axiomatization of systolic systems ⋮ Equational properties of iteration in algebraically complete categories ⋮ Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview ⋮ Equational Properties of Stratified Least Fixed Points (Extended Abstract) ⋮ The equational logic of fixed points ⋮ Completeness of Park induction ⋮ Program correctness and matricial iteration theories ⋮ Equational axioms associated with finite automata for fixed point operations in cartesian categories ⋮ Equational properties of fixed-point operations in cartesian categories: An overview ⋮ Axiomatizing weighted synchronization trees and weighted bisimilarity ⋮ 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 ⋮ Rewriting on cyclic structures: Equivalence between the operational and the categorical description ⋮ Axiomatizing schemes and their behaviors ⋮ Kleene Theorem in Partial Conway Theories with Applications ⋮ Equational logic of circular data type specification ⋮ Group axioms for iteration ⋮ Algebras of iteration theories ⋮ Algebras, polynomials and programs
This page was built for publication:
