Adjunct Elimination in Context Logic for Trees (Q3498442): Difference between revisions

@@ Property / cites work @@
+BI as an assertion language for mutable data structures
+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 @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / 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 @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+First-order properties of trees, star-free expressions, and aperiodicity
+Normal rank