Pages that link to "Item:Q5501186"
From MaRDI portal
The following pages link to Monadic datalog and the expressive power of languages for Web information extraction (Q5501186):
Displaying 27 items.
- Deciding twig-definability of node selecting tree automata (Q269327) (← links)
- On the equivalence of distributed systems with queries and communication (Q389221) (← links)
- Practical algorithms for MSO model-checking on tree-decomposable graphs (Q473216) (← links)
- Automata for unordered trees (Q515668) (← links)
- Structural properties of XPath fragments (Q555765) (← links)
- Regular languages of nested words: fixed points, automata, and synchronization (Q649107) (← links)
- On the expressive power of monadic least fixed point logic (Q817849) (← links)
- Automata for XML -- a survey (Q878749) (← links)
- Weighted monadic Datalog (Q944376) (← links)
- Reasoning about XML with temporal logics and automata (Q975873) (← links)
- Compact representation for answer sets of \(n\)-ary regular queries (Q1959656) (← links)
- A logic for document spanners (Q2322723) (← links)
- Tight lower bounds for query processing on streaming and external memory data (Q2373746) (← links)
- Controlled Term Rewriting (Q3172893) (← links)
- A logic for document spanners (Q3174905) (← links)
- Containment of Monadic Datalog Programs via Bounded Clique-Width (Q3449494) (← links)
- Logics and Automata for Totally Ordered Trees (Q3522020) (← links)
- Inf-datalog, Modal Logic and Complexities (Q3549285) (← links)
- The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey (Q3586006) (← links)
- Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees (Q3605529) (← links)
- Monadic Datalog Tree Transducers (Q3618586) (← links)
- Compact Representation for Answer Sets of n-ary Regular Queries (Q3637346) (← links)
- Comparing the succinctness of monadic query languages over finite trees (Q4659888) (← links)
- Combining decidability paradigms for existential rules (Q5398317) (← links)
- Efficient and Expressive Tree Filters (Q5458857) (← links)
- Generating Specialized Rules and Programs for Demand-Driven Analysis (Q5505434) (← links)
- Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data (Q5738985) (← links)
