Similar Items: A Fragment of Dependence Logic Capturing Polynomial Time
- Capturing Polynomial Time using Modular Decomposition
- Capturing the polynomial hierarchy by second-order revised Krom logic
- On Polynomial-Time Decidability of k-Negations Fragments of First-Order Theories
- Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs
- Positive fragments of coalgebraic logics
- On Sub-Propositional Fragments of Modal Logic