Decidability Results in Automata and Process Theory

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},
}