The following pages link to S2S (mathematics)
External toolsShowing 15 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Regular language (links | edit)
- Total order (links | edit)
- Tree automaton (links | edit)
- Michael O. Rabin (links | edit)
- Reverse mathematics (links | edit)
- Second-order logic (links | edit)
- Decidability (logic) (links | edit)
- Nonelementary problem (links | edit)
- Determinacy (links | edit)
- S2S (links | edit)
- Parity game (links | edit)
- Monadic second-order logic (links | edit)
- Infinite-tree automaton (links | edit)
- Ω-automaton (links | edit)
- Talk:S2S (mathematics) (transclusion) (links | edit)