Selivanov V.L.


Selivanov V.L.
[2001]
A logical approach to decidability of hierarchies of regular star-free languages
Lect. Notes in Comp. Sci., 4497, 539-550, Springer-Verlag
article

Вернуться к поиску