Model checking hybrid logics (with an application to semistructured data) (Q2506828): Difference between revisions

@@ Property / DOI @@
-.1016/j.jal.2005.06.010
@@ Property / DOI: 10.1016/j.jal.2005.06.010 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jal.2005.06.010
+Normal rank
@@ Property / OpenAlex ID @@
+W2144726625
@@ Property / OpenAlex ID: W2144726625 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular path queries with constraints
@@ Property / cites work: Regular path queries with constraints / 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 @@
+Q4553259
@@ Property / cites work: Q4553259 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945233
@@ Property / cites work: Q4945233 / rank @@
+Normal rank
@@ Property / cites work @@
+The computational complexity of hybrid temporal logics
+Normal rank
@@ Property / cites work @@
+Hybrid logics: characterization, interpolation and complexity
+Normal rank
@@ Property / cites work @@
+Q4809053
@@ Property / cites work: Q4809053 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid languages
@@ Property / cites work: Hybrid languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215593
@@ Property / cites work: Q4215593 / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to tense logic<sup>1</sup>
@@ Property / cites work: An approach to tense logic<sup>1</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+Representing and reasoning on XML documents: a description logic approach
+Normal rank
@@ Property / cites work @@
+Q2751376
@@ Property / cites work: Q2751376 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time model-checking algorithm for the alternation-free modal mu- calculus
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Integrity constraints for XML
@@ Property / cites work: Integrity constraints for XML / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of modal and temporal logics with reference pointers
+Normal rank
@@ Property / cites work @@
+On the Unusual Effectiveness of Logic in Computer Science
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Containment and equivalence for a fragment of XPath
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+An essay in combinatory dynamic logic
@@ Property / cites work: An essay in combinatory dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking based data retrieval. An application to semistructured and temporal data.
+Normal rank
@@ Property / cites work @@
+Interpolation for extended modal languages
@@ Property / cites work: Interpolation for extended modal languages / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JAL.2005.06.010
@@ Property / DOI: 10.1016/J.JAL.2005.06.010 / rank @@
+Normal rank