„descriptive complexity theory“
Suchergebnisse
1.000+ Treffer
-
On Invariant Formulae of First-Order Logic with Numerical Predicates
-
Capturing Relativized Complexity Classes without Order
-
Dependence logic with a majority quantifier
-
Characterizing NC¹ with Typed Monoids
-
Small dynamic complexity classes
-
Small Dynamic Complexity Classes – An Investigation into Dynamic Descriptive Complexity
-
Descriptive Set Theoretic Methods in Automata Theory – Decidability and Topological Complexity
-
Unifying Boolean and Algebraic Descriptive Complexity
-
Descriptive Complexity of #AC^0 Functions
-
Traversal-Invariant Characterizations of Logarithmic Space
-
Completeness Theorems for k-SUM and Geometric Friends: Deciding Fragments of Linear Integer Arithmetic
-
Quantifiers Closed Under Partial Polymorphisms
-
Lower Bounds for Choiceless Polynomial Time via Symmetric XOR-Circuits
-
The Expressive Power of CSP-Quantifiers
-
Cohomology in Constraint Satisfaction and Structure Isomorphism
-
The Theory of Concatenation over Finite Models
-
Choiceless Computation and Symmetry: Limitations of Definability
-
Descriptive Complexity on Non-Polish Spaces II
-
Descriptive Complexity on Non-Polish Spaces
-
Counting of Teams in First-Order Team Logics