Ashcroft, E.; Manna, Z.; Pnueli, A. 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). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 Documents MSC: 68Q45 Formal languages and automata Citations:Zbl 0266.94019; Zbl 0289.68036; Zbl 0301.00006 × Cite Format Result Cite Review PDF