Pages that link to "Theoretical computer science"
The following pages link to Theoretical computer science:
Displaying 11 items.
- Busy beaver (← links | edit)
- Greedy algorithm (← links | edit)
- Equality (mathematics) (← links | edit)
- Lazy initialization (← links | edit)
- Automata theory (← links | edit)
- Matrix multiplication (← links | edit)
- Kleene algebra (← links | edit)
- Abel Prize (← links | edit)
- Dana Scott (← links | edit)
- Formal methods (← links | edit)
- Proof theory (← links | edit)