Pages that link to "Item:Q5278193"
From MaRDI portal
The following pages link to Complexity of Two-Variable Logic on Finite Trees (Q5278193):
Displaying 8 items.
- First-order logic with two variables and unary temporal logic (Q2506493) (← links)
- Two-variable Logic with a Between Relation (Q4635866) (← links)
- (Q4934251) (← links)
- Complexity Results for First-Order Two-Variable Logic with Counting (Q4943858) (← links)
- One-Dimensional Logic over Trees (Q5111281) (← links)
- (Q5136301) (← links)
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5925549) (← links)
- Lifted inference with tree axioms (Q6088316) (← links)