Страницы, ссылающиеся на «Булевые формулы с кванторами как игры для двух игроков»
Следующие страницы ссылаются на «Булевые формулы с кванторами как игры для двух игроков»:
Просмотреть (предыдущие 500 | следующие 500) (20 | 50 | 100 | 250 | 500)- Теория формальных языков (← ссылки)
- Доказательство нерегулярности языков: лемма о разрастании (← ссылки)