Pages that link to "Item:Q1169813"

The following pages link to Regular trees and the free iterative theory (Q1169813):

Displayed 17 items.

• Iterative and recursive matrix theories (Q595766) ‎ (← links)
• The solutions of two star-height problems for regular trees (Q760212) ‎ (← links)
• Iterative factor algebras and induced metrics (Q790606) ‎ (← links)
• Extensions of iterative congruences of free iterative algebras (Q792751) ‎ (← links)
• Implementation of data types by algebraic methods (Q792753) ‎ (← links)
• Deterministic and nondeterministic flowchart interpretations (Q796975) ‎ (← links)
• Bases for parametrized iterativity (Q1004388) ‎ (← links)
• Fundamental properties of infinite trees (Q1055184) ‎ (← links)
• On flowchart theories. I. The deterministic case (Q1093364) ‎ (← links)
• Algebraic solutions to recursion schemes (Q1098617) ‎ (← links)
• Recursion-closed algebraic theories (Q1157899) ‎ (← links)
• DPDA's in 'Atomic normal form' and applications to equivalence problems (Q1158965) ‎ (← links)
• The equational logic of fixed points (Q1391734) ‎ (← links)
• Algebras with parametrized iterativity (Q2464938) ‎ (← links)
• Terminal coalgebras and free iterative theories (Q2500475) ‎ (← links)
• A Description of Iterative Reflections of Monads (Extended Abstract) (Q3617727) ‎ (← links)
• Rewriting on cyclic structures: Equivalence between the operational and the categorical description (Q4943554) ‎ (← links)