The following pages link to (Q5330638):
Displayed 6 items.
- Galois stratification over Frobenius fields (Q759801) (← links)
- On effectively computable realizations of choice functions (Q1072545) (← links)
- Computable stack functions for semantics of stack programs (Q1137385) (← links)
- Simulating Turing machines on Maurer machines (Q2480963) (← links)
- Tutor - a Turing machine simulator (Q2556223) (← links)
- Folding left and right matters: Direct style, accumulators, and continuations (Q6099203) (← links)