Algebras of iteration theories

DOI10.1016/0022-0000(83)90044-2zbMath0532.68011OpenAlexW2056520272MaRDI QIDQ789159

Zoltán Ésik

Publication date: 1983

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(83)90044-2

zbMATH Keywords

iteration theoryiterative algebraiterative theoryiteration algebraregular algebra

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) General topics in the theory of software (68N01) Categories of machines, automata (18B20)

Related Items (9)

On flowchart theories. I. The deterministic case ⋮ Axiomatizing the equational theory of regular tree languages ⋮ On flowchart theories. II: The nondeterministic case ⋮ Independence of the equational axioms for iteration theories ⋮ Solving polynomial fixed point equations ⋮ The equational logic of fixed points ⋮ Completeness of Park induction ⋮ Axiomatizing schemes and their behaviors ⋮ Equational logic of circular data type specification

Cites Work

• Unique fixed points vs. least fixed points
• Vector Iteration in Pointed Iterative Theories
• Initial Algebra Semantics and Continuous Algebras
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Algebras of iteration theories