Adjunct elimination in context logic for trees (Q964499): Difference between revisions

@@ Property / cites work @@
+BI as an assertion language for mutable data structures
+Normal rank
@@ Property / cites work @@
+Q4738240
@@ Property / cites work: Q4738240 / rank @@
+Normal rank
@@ Property / cites work @@
+Anytime, anywhere
@@ Property / cites work: Anytime, anywhere / rank @@
+Normal rank
@@ Property / cites work @@
+Context logic and tree update
@@ Property / cites work: Context logic and tree update / rank @@
+Normal rank
@@ Property / cites work @@
+Context logic as modal logic
@@ Property / cites work: Context logic as modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847405
@@ Property / cites work: Q2847405 / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Adjunct Elimination in Context Logic for Trees
@@ Property / cites work: Adjunct Elimination in Context Logic for Trees / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / rank @@
+Normal rank
@@ Property / cites work @@
+First-order properties of trees, star-free expressions, and aperiodicity
+Normal rank
@@ Property / cites work @@
+Forest Expressions
@@ Property / cites work: Forest Expressions / rank @@
+Normal rank