Pages that link to "Item:Q1098617"
From MaRDI portal
The following pages link to Algebraic solutions to recursion schemes (Q1098617):
Displaying 9 items.
- The category-theoretic solution of recursive program schemes (Q860876) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- Algebraic and fixed point equations over inverse limits of algebras (Q1177146) (← links)
- Reasoning algebraically about recursion (Q1193743) (← links)
- Equivalence of recursive specifications in process algebra (Q1607118) (← links)
- Categorial generalization of algebraic recursion theory (Q1898417) (← links)
- (Q3635984) (← links)
- (Q4972735) (← links)
- Linearization in parallel pCRL (Q5946027) (← links)