Slisenko, A. O. Recognizing a symmetry predicate by multihead Turing machines with input. (English) Zbl 0326.02027 Proc. Steklov Inst. Math. 129(1973), 25-208 (1976). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 Documents MSC: 03D10 Turing machines and related notions 68Q25 Analysis of algorithms and problem complexity 68Q45 Formal languages and automata PDF BibTeX XML Cite \textit{A. O. Slisenko}, Proc. Steklov Inst. Math. 129, 25--208 (1976; Zbl 0326.02027)