Pages that link to "Item:Q3460527"

The following pages link to The two‐variable fragment with counting and equivalence (Q3460527):

Displaying 15 items.

• Bounded variable logics: Two, three, and more (Q1306792) (← links)
• A two-variable fragment of English (Q1868487) (← links)
• Data-complexity of the two-variable fragment with counting quantifiers (Q2389348) (← links)
• Answering regular path queries mediated by unrestricted \(\mathcal{SQ}\) ontologies (Q2680773) (← links)
• Small substructures and decidability issues for first-order logic with two variables (Q2915891) (← links)
• On fixed-point logic with counting (Q4508261) (← links)
• Logics with counting and equivalence (Q4635661) (← links)
• Weighted model counting beyond two-variable logic (Q5145338) (← links)
• Two-variable First-Order Logic with Counting in Forests (Q5222957) (← links)
• Regular Graphs and the Spectra of Two-Variable Logic with Counting (Q5258916) (← links)
• Two-Variable Logic with Counting and Trees (Q5278191) (← links)
• Two-Variable First-Order Logic with Equivalence Closure (Q5892437) (← links)
• A Note on C² Interpreted over Finite Data-Words (Q6060103) (← links)
• Two variable logic with ultimately periodic counting (Q6573777) (← links)
• On two-variable guarded fragment logic with expressive local Presburger constraints (Q6597967) (← links)