Pages that link to "Item:Q791310"

The following pages link to All solutions of a system of recursion equations in infinite trees and other contraction theories (Q791310):

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