The following pages link to (Q4779172):
Displayed 6 items.
- Linearly bounded infinite graphs (Q852011) (← links)
- On the transition graphs of Turing machines. (Q1401268) (← links)
- Families of automata characterizing context-sensitive languages (Q1772107) (← links)
- On Boolean closed full trios and rational Kripke frames (Q2363961) (← links)
- Traces of term-automatic graphs (Q3526420) (← links)
- An Infinite Automaton Characterization of Double Exponential Time (Q3540169) (← links)