The following pages link to (Q4143283):
Displayed 6 items.
- Alternation and \(\omega\)-type Turing acceptors (Q1088417) (← links)
- Proof systems for infinite behaviours (Q1193598) (← links)
- \(X\)-automata on \(\omega\)-words (Q1210539) (← links)
- Finite acceptance of infinite words (Q1269902) (← links)
- Index sets in computable analysis (Q1292400) (← links)
- Verification of concurrent programs: The automata-theoretic framework (Q2277249) (← links)