zbMATH — the first resource for mathematics

Word problems requiring exponential time: Preliminary report. (English) Zbl 0359.68050
Proc. 5th ann. ACM Symp. Theor. Comput., Austin 1973, 1-9 (1973).

68Q25 Analysis of algorithms and problem complexity
68Q45 Formal languages and automata
03D40 Word problems, etc. in computability and recursion theory
03D10 Turing machines and related notions