Similar Items: Capturing the polynomial hierarchy by second-order revised Krom logic
- On the Monadic Second-Order Transduction Hierarchy
- A Fragment of Dependence Logic Capturing Polynomial Time
- On the Mints Hierarchy in First-Order Intuitionistic Logic
- On the strictness of the quantifier structure hierarchy in first-order logic
- On the Parameterized Intractability of Monadic Second-Order Logic
- Capturing Polynomial Time using Modular Decomposition