Testing XML constraint satisfiability (Q2867947): Difference between revisions

@@ Property / author @@
+Dario Colazzo
@@ Property / author: Dario Colazzo / 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 / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2006.11.025
+Normal rank
@@ Property / OpenAlex ID @@
+W2056363900
@@ Property / OpenAlex ID: W2056363900 / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Perspective on Path Constraints
@@ Property / cites work: A Modal Perspective on Path Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid logics: characterization, interpolation and complexity
+Normal rank
@@ Property / cites work @@
+Q4945233
@@ Property / cites work: Q4945233 / rank @@
+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 @@
+A first step towardsmodeling semistructured data in hybrid multimodal logic
+Normal rank
@@ Property / cites work @@
+Hybrid languages
@@ Property / cites work: Hybrid languages / rank @@
+Normal rank
@@ Property / cites work @@
+Representation, reasoning, and relational structures: a hybrid logic manifesto
+Normal rank
@@ Property / cites work @@
+Internalizing labelled deduction
@@ Property / cites work: Internalizing labelled deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4412850
@@ Property / cites work: Q4412850 / rank @@
+Normal rank
@@ Property / cites work @@
+Two-variable logic on data trees and XML reasoning
+Normal rank
@@ Property / cites work @@
+Representing and reasoning on XML documents: a description logic approach
+Normal rank
@@ Property / cites work @@
+Q2763663
@@ Property / cites work: Q2763663 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Combining deduction and model checking into tableaux and algorithms for converse-PDL.
+Normal rank
@@ Property / cites work @@
+Database Programming Languages
@@ Property / cites work: Database Programming Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Integrity constraints for XML
@@ Property / cites work: Integrity constraints for XML / rank @@
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of modal and temporal logics with reference pointers
+Normal rank
@@ Property / cites work @@
+Q2753601
@@ Property / cites work: Q2753601 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+Undecidability of Multi-modal Hybrid Logics
@@ Property / cites work: Undecidability of Multi-modal Hybrid Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999539
@@ Property / cites work: Q3999539 / rank @@
+Normal rank