Pages that link to "Item:Q5327424"
From MaRDI portal
The following pages link to Complexity of Two-Variable Logic on Finite Trees (Q5327424):
Displaying 5 items.
- A double team semantics for generalized quantifiers (Q302243) (← links)
- Two-Variable Separation Logic and Its Inner Circle (Q2957697) (← links)
- Finite satisfiability for two‐variable, first‐order logic with one transitive relation is decidable (Q5109226) (← links)
- Two-Variable Logic with Counting and Trees (Q5278191) (← links)
- Complexity of Two-Variable Logic on Finite Trees (Q5278193) (← links)
