Mappings induced by PGSM-mappings and some recursively unsolvable problems of finite probabilistic automata

From MaRDI portal
Publication:5581637