scientific article; zbMATH DE number 1272994
zbMATH Open0924.03049MaRDI QIDQ4237287FDOQ4237287
Authors: Thomas Quintus
Publication date: 5 April 1999
Title of this publication is not available (Why is that?)
Recommendations
complexity theoryfinite model theorydescriptive complexity theoryreducibilitiesoracle Turing machinesrelativized model of computationoracle setsLindström quantifiercapturing of relativized complexity classes
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Model theory of finite structures (03C13) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Complexity of computation (including implicit computational complexity) (03D15) Other degrees and reducibilities in computability and recursion theory (03D30)
Cited In (6)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Capturing complexity classes with Lindström quantifiers
- On Number of Lindenbaum's Oversystems of Propositional and Predicate Calculi
- Capturing relativized complexity classes with Lindström quantifiers
- Program schemes, arrays, Lindström quantifiers and zero-one laws
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4237287)