Pages that link to "Item:Q5271042"

The following pages link to Two-Variable Logic with Counting and Trees (Q5271042):

Displaying 5 items.

• A double team semantics for generalized quantifiers (Q302243) (← links)
• (Q5094127) (← 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)