Pages that link to "Item:Q1185010"
From MaRDI portal
The following pages link to A new approach to recursion removal (Q1185010):
Displaying 9 items.
- Modeling recursion with the aid of iterative algorithms (Q1097685) (← links)
- On the expansion of non-linear functions (Q1175710) (← links)
- Improving recursive functions by inverting the order of evaluation (Q1193746) (← links)
- On the synthesis of function inverses (Q1205183) (← links)
- Optimizing the stack size of recursive functions (Q1749239) (← links)
- Indexical translation of tail-recursive functions (Q2758322) (← links)
- La fonction d'Ackermann : un nouveau mode de dérécursivation (Q3737419) (← links)
- Recursion Removal/Introduction by Formal Transformation: An Aid to Program Development and Program Comprehension (Q4950861) (← links)
- Typed Lambda Calculi and Applications (Q5704012) (← links)