All solutions of a system of recursion equations in infinite trees and other contraction theories

DOI10.1016/0022-0000(83)90041-7zbMath0535.68006OpenAlexW2082477520MaRDI QIDQ791310

Stephen L. Bloom

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)90041-7

zbMATH Keywords

recursive program schemes

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Equivalences and transformations of regular systems - applications to recursive program schemes and grammars, Algebraic solutions to recursion schemes, The category-theoretic solution of recursive program schemes, Contraction algebras and unification of (infinite) terms, Fundamental properties of infinite trees

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A compactification of the algebra of terms
• Matricial theories
• IO and OI. II
• On the algebraic structure of rooted trees
• Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation
• Vector Iteration in Pointed Iterative Theories
• Automata in general algebras
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• A Perspective View of Discrete Automata and Their Design