Nielsen, Mogens On the decidability of some equivalence problems for DOL-systems. (English) Zbl 0284.68065 Inform. and Control 25, 166-193 (1974). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 18 Documents MSC: 68Q45 Formal languages and automata PDF BibTeX XML Cite \textit{M. Nielsen}, Inf. Control 25, 166--193 (1974; Zbl 0284.68065) Full Text: DOI OpenURL