All solutions of a system of recursion equations in infinite trees and other contraction theories
From MaRDI portal
Publication:791310
DOI10.1016/0022-0000(83)90041-7zbMath0535.68006OpenAlexW2082477520MaRDI QIDQ791310
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
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