Complete axiomatizations for XPath fragments (Q975868): Difference between revisions

@@ Property / describes a project that uses @@
+XPath
@@ Property / describes a project that uses: XPath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mace4
@@ Property / describes a project that uses: Mace4 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Waldmeister
@@ Property / describes a project that uses: Waldmeister / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1992942833
@@ Property / OpenAlex ID: W1992942833 / 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 @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory Is Forever
@@ Property / cites work: Theory Is Forever / rank @@
+Normal rank
@@ Property / cites work @@
+Normal forms in modal logic
@@ Property / cites work: Normal forms in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773852
@@ Property / cites work: Q3773852 / rank @@
+Normal rank
@@ Property / cites work @@
+Peirce Algebras and Boolean Modules
@@ Property / cites work: Peirce Algebras and Boolean Modules / rank @@
+Normal rank
@@ Property / cites work @@
+An equational axiomatization of dynamic negation and relational composition
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Solution of the Robbins problem
@@ Property / cites work: Solution of the Robbins problem / rank @@
+Normal rank
@@ Property / cites work @@
+Finite models constructed from canonical formulas
@@ Property / cites work: Finite models constructed from canonical formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic algebras: Examples, constructions, applications
+Normal rank
@@ Property / cites work @@
+An axiomatization for until and since over the reals without the IRR rule
+Normal rank
@@ Property / cites work @@
+Q4040000
@@ Property / cites work: Q4040000 / rank @@
+Normal rank
@@ Property / cites work @@
+Some modal aspects of XPath
@@ Property / cites work: Some modal aspects of XPath / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of query containment in expressive fragments of XPath 2.0
+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 @@
+Q3122692
@@ Property / cites work: Q3122692 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal frame correspondences and fixed-points
@@ Property / cites work: Modal frame correspondences and fixed-points / rank @@
+Normal rank
@@ Property / cites work @@
+Q4833779
@@ Property / cites work: Q4833779 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4349279
@@ Property / cites work: Q4349279 / rank @@
+Normal rank