Pages that link to "Item:Q791310"
From MaRDI portal
The following pages link to All solutions of a system of recursion equations in infinite trees and other contraction theories (Q791310):
Displaying 5 items.
- The category-theoretic solution of recursive program schemes (Q860876) (← links)
- Fundamental properties of infinite trees (Q1055184) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- Algebraic solutions to recursion schemes (Q1098617) (← links)
- Contraction algebras and unification of (infinite) terms (Q1185240) (← links)
