Some Recursive Unsolvable Problems Relating to Isolated Cutpoints in Probabilistic Automata

Alberto Bertoni, Giancarlo Mauri, Mauro Torelli. Some Recursive Unsolvable Problems Relating to Isolated Cutpoints in Probabilistic Automata. In Arto Salomaa, Magnus Steinby, editors, Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings. Volume 52 of Lecture Notes in Computer Science, pages 87-94, Springer, 1977.

Authors

Alberto Bertoni

This author has not been identified. Look up 'Alberto Bertoni' in Google

Giancarlo Mauri

This author has not been identified. Look up 'Giancarlo Mauri' in Google

Mauro Torelli

This author has not been identified. Look up 'Mauro Torelli' in Google