Pages that link to "Item:Q2424682"
From MaRDI portal
The following pages link to Logics for unordered trees with data constraints (Q2424682):
Displaying 8 items.
- Ordered model trees: A normal form for disjunctive deductive databases (Q1344891) (← links)
- Static analysis and query answering for incomplete data trees with constraints (Q1799308) (← links)
- Satisfiability of compositional separation logic with tree predicates and data constraints (Q2405271) (← links)
- Special issue: Selected papers of the 9th international conference on language and automata theory and applications, LATA 2015 (Q2424669) (← links)
- Logics for Unordered Trees with Data Constraints on Siblings (Q2799171) (← links)
- Logical definability and query languages over ranked and unranked trees (Q5277776) (← links)
- Automata, Languages and Programming (Q5466544) (← links)
- Reasoning About Data Trees Using CHCs (Q6487339) (← links)