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.

Authors

Yoram Hirshfeld

This author has not been identified. Look up 'Yoram Hirshfeld' in Google

Faron Moller

This author has not been identified. Look up 'Faron Moller' in Google