Pages that link to "Item:Q5187865"
From MaRDI portal
The following pages link to Automated Reasoning with Analytic Tableaux and Related Methods (Q5187865):
Displaying 6 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)
- Complexity of modal logics with Presburger constraints (Q2638188) (← links)
- Testing XML constraint satisfiability (Q2867947) (← links)
- A Rewrite Approach for Pattern Containment (Q3184735) (← links)
