Pages that link to "Item:Q1228350"

The following pages link to The existence and construction of free iterative theories (Q1228350):

Displaying 21 items.

• Iterative and recursive matrix theories (Q595766) (← links)
• The solutions of two star-height problems for regular trees (Q760212) (← links)
• Calvin C. Elgot (1922-1980) (Q788706) (← links)
• Recursion and iteration in continuous theories: the ''M-construction'' (Q790235) (← links)
• Implementation of data types by algebraic methods (Q792753) (← links)
• Deterministic and nondeterministic flowchart interpretations (Q796975) (← links)
• Closure functions and general iterates as reflectors (Q808275) (← links)
• Fundamental properties of infinite trees (Q1055184) (← links)
• On flowchart theories. I. The deterministic case (Q1093364) (← links)
• Algebraic solutions to recursion schemes (Q1098617) (← links)
• Independence of the equational axioms for iteration theories (Q1106011) (← links)
• In memoriam Calvin C. Elgot (Q1154455) (← links)
• Regular trees and the free iterative theory (Q1169813) (← links)
• On the algebraic structure of rooted trees (Q1251061) (← links)
• A semantically meaningful characterization of reducible flowchart schemes (Q1254851) (← links)
• Axiomatizing schemes and their behaviors (Q1819574) (← links)
• Base modules for parametrized iterativity (Q2435311) (← links)
• Terminal coalgebras and free iterative theories (Q2500475) (← links)
• On Rational Monads and Free Iterative Theories (Q2842813) (← links)
• (Q4192947) (← links)
• Finiteness and rational sequences, constructively (Q5372009) (← links)