Complexity Classes and Theories for the Comparator Circuit Value Problem
Complexity Classes as Mathematical Axioms
Complexity Classes of Equivalence Problems Revisited
Complexity Classification in Infinite-Domain Constraint Satisfaction
Complexity Classifications for Propositional Abduction in Post's Framework
Complexity Information Flow in a Multi-threaded Imperative Language
Complexity limitations on quantum computation
Complexity of complexity and maximal plain versus prefix-free Kolmogorov complexity
Complexity of Counting CSP with Complex Weights
Complexity of Cycle Length Modularity Problems in Graphs
Complexity of Data Dependence problems for Program Schemas with Concurrency
Complexity of Existential Positive First-Order Logic
Complexity of Homogeneous Co-Boolean Constraint Satisfaction Problems
Complexity of Ising Polynomials
Complexity of Non-Monotonic Logics
Complexity of Propositional Abduction for Restricted Sets of Boolean Functions
Complexity of Propositional Proofs under a Promise
Complexity of Self-Assembled Shapes
Complexity of Strong Implementability
Complexity of the Exact Domatic Number Problem and of the Exact Conveyor Flow Shop Problem