Specification and verification for semi-structured data (Q5291135): Difference between revisions

@@ Property / cites work @@
+Deciding validity in a spatial logic for trees
@@ Property / cites work: Deciding validity in a spatial logic for trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714431
@@ Property / cites work: Q5714431 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783317
@@ Property / cites work: Q4783317 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on model checking the modal \(\nu\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4417861
@@ Property / cites work: Q4417861 / rank @@
+Normal rank