Axiomatizing the logical core of XPath 2.0 (Q2272223): 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/s00224-008-9151-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2146886516
@@ Property / OpenAlex ID: W2146886516 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+A first-order axiomatization of the theory of finite trees
+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 @@
+Structural properties of XPath fragments
@@ Property / cites work: Structural properties of XPath fragments / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Relational Structures as Knowledge Instruments
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Database Programming Languages
@@ Property / cites work: Database Programming Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindric algebras. Part II
@@ Property / cites work: Cylindric algebras. Part II / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras by games
@@ Property / cites work: Relation algebras by games / rank @@
+Normal rank
@@ Property / cites work @@
+The representation of relational algebras
@@ Property / cites work: The representation of relational algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The representation of relation algebras. II
@@ Property / cites work: The representation of relation algebras. II / rank @@
+Normal rank
@@ Property / cites work @@
+On the calculus of relations
@@ Property / cites work: On the calculus of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040000
@@ Property / cites work: Q4040000 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete axiomatizations for XPath fragments
@@ Property / cites work: Complete axiomatizations for XPath fragments / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of query containment in expressive fragments of XPath 2.0
+Normal rank
@@ Property / cites work @@
+A note on the tense logic of dominoes
@@ Property / cites work: A note on the tense logic of dominoes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4833779
@@ Property / cites work: Q4833779 / rank @@
+Normal rank
@@ Property / cites work @@
+Derivation rules as anti-axioms in modal logic
@@ Property / cites work: Derivation rules as anti-axioms in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518421
@@ Property / cites work: Q4518421 / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindric modal logic
@@ Property / cites work: Cylindric modal logic / rank @@
+Normal rank