Ginsburg, Seymour; Goldstine, Jonathan Intersection-closed full AFL and the recursively enumerable languages. (English) Zbl 0251.68044 ACM, Proc. 3rd ann. ACM Sympos. Theory Computing, Shaker Heights, Ohio 1971, 121-131 (1971). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 Documents MSC: 68Q45 Formal languages and automata 03D05 Automata and formal grammars in connection with logical questions PDFBibTeX XML