Pages that link to "Item:Q3460527"
From MaRDI portal
The following pages link to The two‐variable fragment with counting and equivalence (Q3460527):
Displayed 4 items.
- Answering regular path queries mediated by unrestricted \(\mathcal{SQ}\) ontologies (Q2680773) (← 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)