The following pages link to (Q4723712):
Displaying 5 items.
- A remark on middle space bounded alternating Turing machines (Q1350303) (← links)
- Time-space tradeoffs for satisfiability (Q1567402) (← links)
- Transfinite induction within Peano arithmetic (Q1919522) (← links)
- Bounding lemmata for non-deterministic halting times of transfinite Turing machines (Q2482464) (← links)
- Fluted formulas and the limits of decidability (Q4894729) (← links)