Pages that link to "Item:Q5187865"
From MaRDI portal
The following pages link to Automated Reasoning with Analytic Tableaux and Related Methods (Q5187865):
Displaying 8 items.
- The complexity of tree automata and XPath on grammar-compressed trees (Q860863) (← links)
- Automata for XML -- a survey (Q878749) (← links)
- Closure properties and decision problems of dag automata (Q1041757) (← links)
- Axiomatizing the logical core of XPath 2.0 (Q2272223) (← links)
- Model theory of XPath on data trees. II: Binary bisimulation and definability (Q2401631) (← links)
- Complexity of modal logics with Presburger constraints (Q2638188) (← links)
- Testing XML constraint satisfiability (Q2867947) (← links)
- A Rewrite Approach for Pattern Containment (Q3184735) (← links)