Decision problems forω-automata
recursion theory, constructive mathematics
scientific article; zbMATH DE number 3289458