Pages that link to "Item:Q1157899"
From MaRDI portal
The following pages link to Recursion-closed algebraic theories (Q1157899):
Displaying 7 items.
- Algebraic characterization of reducible flowcharts (Q789162) (← links)
- Implementation of data types by algebraic methods (Q792753) (← 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)
- DPDA's in 'Atomic normal form' and applications to equivalence problems (Q1158965) (← links)
- The equational logic of fixed points (Q1391734) (← links)
