The following pages link to (Q4192941):
Displaying 7 items.
- The McCarthy's recursion induction principle: ''oldy'' but ''goody'' (Q594581) (← links)
- Proving the correctness of recursion-based automatic program transformations (Q671683) (← links)
- Using circular programs to eliminate multiple traversals of data (Q800713) (← links)
- NTS languages are deterministic and congruential (Q1083220) (← links)
- Derivation of efficient programs for computing sequences of actions (Q1093362) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- Recursion induction principle revisited (Q1838286) (← links)
