D. J. B. Bosscher, W. O. David Griffioen
Regularity for a Large Class of Context-Free Processes is Decidable
ICALP, 1996.
@inproceedings{ICALP-1996-BosscherG, author = "D. J. B. Bosscher and W. O. David Griffioen", booktitle = "{Proceedings of the 23rd International Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-61440-0_127", isbn = "3-540-61440-0", pages = "182--193", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Regularity for a Large Class of Context-Free Processes is Decidable}", volume = 1099, year = 1996, }