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