×

zbMATH — the first resource for mathematics

Expressibility and nonuniform complexity classes. (English) Zbl 0698.68047

MSC:
68Q25 Analysis of algorithms and problem complexity
03C80 Logic with extra quantifiers and operators
03D15 Complexity of computation (including implicit computational complexity)
PDF BibTeX XML Cite
Full Text: DOI