Deciding FO-definability of Regular Languages
- Agi Kurucz
- , Vladislav Ryzhikov
- , Yury Savateev
- , Michael Zakharyaschev
Research output: Contribution to conference › Paper › peer-review
1
Citation
(Scopus)