The following pages link to Sten-Åke Tärnlund (Q1136245):
Displaying 7 items.
- Inductive reasoning on recursive equations (Q1136246) (← links)
- (Q4058112) (← links)
- Computation of resource requirements (Q4086697) (← links)
- Zig-Zag procedures for memory allocation and retrieval of dense equilateral arrays of dynamically varying order (Q4105787) (← links)
- Horn clause computability (Q4132514) (← links)
- (Q4138099) (← links)
- Steadfast logic programs (Q4719365) (← links)