Reasoning about XML with temporal logics and automata (Q975873): Difference between revisions

@@ Property / author @@
-Leonid O. Libkin
@@ Property / author: Leonid O. Libkin / rank @@
-Normal rank
@@ Property / author @@
+Leonid O. Libkin
@@ Property / author: Leonid O. Libkin / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+XPath
@@ Property / describes a project that uses: XPath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2139258089
@@ Property / OpenAlex ID: W2139258089 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about XML update constraints
@@ Property / cites work: Reasoning about XML update constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Inconsistency Tolerance
@@ Property / cites work: Inconsistency Tolerance / rank @@
+Normal rank
@@ Property / cites work @@
+XPath satisfiability in the presence of DTDs
@@ Property / cites work: XPath satisfiability in the presence of DTDs / rank @@
+Normal rank
@@ Property / cites work @@
+Database Programming Languages
@@ Property / cites work: Database Programming Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Two-variable logic on data trees and XML reasoning
+Normal rank
@@ Property / cites work @@
+Q5714249
@@ Property / cites work: Q5714249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817549
@@ Property / cites work: Q4817549 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic datalog and the expressive power of languages for Web information extraction
+Normal rank
@@ Property / cites work @@
+\textit{Once} and \textit{for all}
@@ Property / cites work: \textit{Once} and \textit{for all} / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about XML with Temporal Logics and Automata
+Normal rank
@@ Property / cites work @@
+Query automata over finite trees
@@ Property / cites work: Query automata over finite trees / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of XPath containment in the presence of disjunction, DTDs, and variables
+Normal rank
@@ Property / cites work @@
+Expressiveness of structured document query languages based on attribute grammars
+Normal rank
@@ Property / cites work @@
+Database Programming Languages
@@ Property / cites work: Database Programming Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive completeness of temporal logic of trees
+Normal rank
@@ Property / cites work @@
+Automata for XML -- a survey
@@ Property / cites work: Automata for XML -- a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219045
@@ Property / cites work: Q4219045 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-theoretic techniques for modal logics of programs
+Normal rank