Model theory of XPath on data trees. II: Binary bisimulation and definability (Q2401631): 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.1016/j.ic.2017.01.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2571828207
@@ Property / OpenAlex ID: W2571828207 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterization, definability and separation via saturated models
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Two-variable logic on data trees and XML reasoning
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Modal characterisation theorems over special classes of frames
+Normal rank
@@ Property / cites work @@
+Q4532129
@@ Property / cites work: Q4532129 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization
+Normal rank
@@ Property / cites work @@
+Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations
+Normal rank
@@ Property / cites work @@
+Q3328538
@@ Property / cites work: Q3328538 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulations for temporal logic
@@ Property / cites work: Bisimulations for temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Simulating without Negation
@@ Property / cites work: Simulating without Negation / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5494236
@@ Property / cites work: Q5494236 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logic over finite structures
@@ Property / cites work: Modal logic over finite structures / rank @@
+Normal rank