The following pages link to Alan Skelley (Q3018647):
Displaying 5 items.
- The provably total search problems of bounded arithmetic (Q3018648) (← links)
- NP search problems in low fragments of bounded arithmetic (Q5294030) (← links)
- Computer Science Logic (Q5311267) (← links)
- Third-Order Computation and Bounded Arithmetic (Q5441127) (← links)
- Automata, Languages and Programming (Q5466546) (← links)