Hilbert-Style Axiomatization for Hybrid XPath with Data (Q2835860): Difference between revisions

@@ 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 / full work available at URL @@
+https://doi.org/10.1007/978-3-319-48758-8_3
+Normal rank
@@ Property / OpenAlex ID @@
+W2539891404
@@ Property / OpenAlex ID: W2539891404 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizations for downward XPath on data trees
@@ Property / cites work: Axiomatizations for downward XPath on data trees / rank @@
+Normal rank
@@ Property / cites work @@
+Definability for Downward and Vertical XPath on Data Trees
+Normal rank
@@ Property / cites work @@
+Q5278420
@@ Property / cites work: Q5278420 / 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 @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Pure extensions, proof rules, and hybrid axiomatics
+Normal rank
@@ Property / cites work @@
+Two-variable logic on data trees and XML reasoning
+Normal rank
@@ Property / cites work @@
+Complete axiomatizations for XPath fragments
@@ Property / cites work: Complete axiomatizations for XPath fragments / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing the logical core of XPath 2.0
@@ Property / cites work: Axiomatizing the logical core of XPath 2.0 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Downward XPath
@@ Property / cites work: Decidability of Downward XPath / rank @@
+Normal rank
@@ Property / cites work @@
+Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization
+Normal rank
@@ Property / cites work @@
+Q3113675
@@ Property / cites work: Q3113675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539599
@@ Property / cites work: Q4539599 / rank @@
+Normal rank