Pages that link to "Item:Q5222957"
From MaRDI portal
The following pages link to Two-variable First-Order Logic with Counting in Forests (Q5222957):
Displaying 5 items.
- Logics with counting and equivalence (Q4635661) (← links)
- Complexity Results for First-Order Two-Variable Logic with Counting (Q4943858) (← links)
- Two-Variable Logic with Counting and Trees (Q5271042) (← links)
- Two-Variable Logic with Counting and Trees (Q5278191) (← links)
- A Note on C² Interpreted over Finite Data-Words (Q6060103) (← links)