Pages that link to "Item:Q3608409"
From MaRDI portal
The following pages link to Satisfiability of a Spatial Logic with Tree Variables (Q3608409):
Displaying 8 items.
- Rigid tree automata and applications (Q553317) (← links)
- Satisfiability of compositional separation logic with tree predicates and data constraints (Q2405271) (← links)
- Deciding validity in a spatial logic for trees (Q3367666) (← links)
- Tree Automata with Global Constraints (Q3533021) (← links)
- Rigid Tree Automata (Q3618602) (← links)
- (Q4474211) (← links)
- (Q5090498) (← links)
- On the Computational Complexity of Spatial Logics with Connectedness Constraints (Q5505582) (← links)