Pages that link to "Item:Q5271042"
From MaRDI portal
The following pages link to Two-Variable Logic with Counting and Trees (Q5271042):
Displaying 6 items.
- A double team semantics for generalized quantifiers (Q302243) (← links)
- (Q5094127) (← links)
- Two-variable First-Order Logic with Counting in Forests (Q5222957) (← links)
- Two-Variable Logic with Counting and Trees (Q5278191) (← links)
- Complexity of Two-Variable Logic on Finite Trees (Q5278193) (← links)
- Lifted inference with tree axioms (Q6088316) (← links)