scientific article; zbMATH DE number 1272994

zbMath0924.03049MaRDI QIDQ4237287

Thomas Quintus

Publication date: 5 April 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

complexity theoryfinite model theorydescriptive complexity theoryreducibilitiesLindström quantifieroracle Turing machinesrelativized model of computationoracle setscapturing of relativized complexity classes

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Complexity of computation (including implicit computational complexity) (03D15) Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Other degrees and reducibilities in computability and recursion theory (03D30)

This page was built for publication: