Pages that link to "Item:Q5258916"
From MaRDI portal
The following pages link to Regular Graphs and the Spectra of Two-Variable Logic with Counting (Q5258916):
Displaying 5 items.
- A logical approach to locality in pictures languages (Q295631) (← links)
- Graphs Identified by Logics with Counting (Q2946347) (← links)
- (Q4643954) (← links)
- Two variable logic with ultimately periodic counting (Q6573777) (← links)
- On two-variable guarded fragment logic with expressive local Presburger constraints (Q6597967) (← links)