The following pages link to (Q2958533):
Displaying 4 items.
- Local soundness for QBF calculi (Q1656580) (← links)
- Counting modulo quantifiers on finite structures (Q1854352) (← links)
- On the locality of arb-invariant first-order formulas with modulo counting quantifiers (Q2974792) (← links)
- Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates (Q3012933) (← links)