Yoram Hirshfeld, Faron Moller. Decidability Results in Automata and Process Theory. In Faron Moller, Graham M. Birtwistle, editors, Logics for Concurrency - Structure versus Automata (8th Banff Higher Order Workshop, August 27 - September 3, 1995, Proceedings). Volume 1043 of Lecture Notes in Computer Science, pages 102-148, Springer, 1995.
@inproceedings{HirshfeldM95, title = {Decidability Results in Automata and Process Theory}, author = {Yoram Hirshfeld and Faron Moller}, year = {1995}, tags = {automata theory}, researchr = {https://researchr.org/publication/HirshfeldM95}, cites = {0}, citedby = {0}, pages = {102-148}, booktitle = {Logics for Concurrency - Structure versus Automata (8th Banff Higher Order Workshop, August 27 - September 3, 1995, Proceedings)}, editor = {Faron Moller and Graham M. Birtwistle}, volume = {1043}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-60915-6}, }