×

Separating nondeterministic time complexity classes. (English) Zbl 0366.68038


MSC:

68Q25 Analysis of algorithms and problem complexity
68Q45 Formal languages and automata
03D10 Turing machines and related notions
PDF BibTeX XML Cite
Full Text: DOI