×

Decidable properties of monadic functional schemas. (English, Russian) Zbl 0306.68048

Theory Machines Comput., 3-11 (1971), Russian translation in Yazyki Avtomat., Moskva, 97-108 (1971).
See also J. Assoc. Comput. Mach. 20, 489–499 (1973; Zbl 0289.68036).

MSC:

68Q45 Formal languages and automata