scientific article; zbMATH DE number 17544
From MaRDI portal
Publication:3974868
Recommendations
Cited in
(18)- Logical and schematic characterization of complexity classes
- Expressibility in \(\Sigma_1^1\)
- Descriptive complexity of deterministic polylogarithmic time
- The quantifier structure of sentences that characterize nondeterministic time complexity
- On the Computational Complexity of Small Descriptions
- Languages that Capture Complexity Classes
- Counting quantifiers, successor relations, and logarithmic space
- Descriptional complexity and operations -- two non-classical cases
- Descriptive characterizations of computational complexity
- Descriptive complexity of \#P functions: a new perspective
- Existential second-order logic over graphs: charting the tractability frontier
- On the complexity of small description and related topics
- Computational complexity and the expressive power of logics
- scientific article; zbMATH DE number 1540059 (Why is no real title available?)
- scientific article; zbMATH DE number 1424025 (Why is no real title available?)
- scientific article; zbMATH DE number 1263207 (Why is no real title available?)
- scientific article; zbMATH DE number 4106276 (Why is no real title available?)
- \(\mathrm{SO}^F\): a semantic restriction over second-order logic and its polynomial-time hierarchy
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 Q3974868)
