Pages that link to "Item:Q3460527"
From MaRDI portal
The following pages link to The two‐variable fragment with counting and equivalence (Q3460527):
Displaying 7 items.
- Answering regular path queries mediated by unrestricted \(\mathcal{SQ}\) ontologies (Q2680773) (← links)
- On fixed-point logic with counting (Q4508261) (← links)
- Regular Graphs and the Spectra of Two-Variable Logic with Counting (Q5258916) (← links)
- Two-Variable Logic with Counting and Trees (Q5278191) (← 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)
