scientific article
From MaRDI portal
Publication:3957911
zbMath0494.68009MaRDI QIDQ3957911
Publication date: 1982
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 (8)
Some quasi-varieties of iteration theories ⋮ Independence of the equational axioms for iteration theories ⋮ The equational logic of fixed points ⋮ Completeness of Park induction ⋮ Recursion and corecursion have the same equational logic ⋮ An algebraic model of synchronous systems ⋮ Kleene Theorem in Partial Conway Theories with Applications ⋮ Algebras of iteration theories
This page was built for publication:
