All solutions of a system of recursion equations in infinite trees and other contraction theories (Q791310): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0022-0000(83)90041-7 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2082477520 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3663501 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Solutions of the Iteration Equation and Extensions of the Scalar Iteration Operation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Vector Iteration in Pointed Iterative Theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4164787 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Perspective View of Discrete Automata and Their Design / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Matricial theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the algebraic structure of rooted trees / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automata in general algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5812175 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4124327 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A compactification of the algebra of terms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4116078 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3947101 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3853124 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: IO and OI. II / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:21, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | All solutions of a system of recursion equations in infinite trees and other contraction theories |
scientific article |
Statements
All solutions of a system of recursion equations in infinite trees and other contraction theories (English)
0 references
1983
0 references
A system of recursion equations is a finite set of equations \(f_ i=t_ i\), \(i=l,...,n\), where the expressions \(t_ i\) denote terms built from individual variables, functions constants and the function variables \(f_ i\). An interpretation of such a system assigns a meaning to each function constant and a possible meaning to each individual and function variable. Standard interpretations include an ordering on the class of possible ''solutions'' of the system and only the least (or greatest) solution is found. In this paper, contraction theories are defined and used as interpretations. Several known kinds of interpretations are shown to be contraction theories, including the collection of rooted labeled trees. No ordering is imposed on solutions in a contraction theory, but a metric is involved. All solutions of a system of recursion equations in any contraction theory are described.
0 references
recursive program schemes
0 references