Pages that link to "Item:Q3437261"
From MaRDI portal
The following pages link to Complexity of the Guarded Two-variable Fragment with Counting Quantifiers (Q3437261):
Displaying 6 items.
- One-variable logic meets Presburger arithmetic (Q2007734) (← links)
- Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment (Q2055791) (← links)
- Data-complexity of the two-variable fragment with counting quantifiers (Q2389348) (← links)
- The two‐variable fragment with counting and equivalence (Q3460527) (← links)
- Completing the Picture: Complexity of Graded Modal Logics with Converse (Q6063859) (← links)
- Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592) (← links)
