Q5090983 (Q5090983): Difference between revisions

@@ Property / cites work @@
+Foundations for Decision Problems in Separation Logic with General Inductive Predicates
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+On the almighty wand
@@ Property / cites work: On the almighty wand / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714431
@@ Property / cites work: Q5714431 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Shape Analysis by Means of Bi-Abduction
+Normal rank
@@ Property / cites work @@
+Q4474211
@@ Property / cites work: Q4474211 / rank @@
+Normal rank
@@ Property / cites work @@
+Tractable Reasoning in a Fragment of Separation Logic
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Two-Variable Separation Logic and Its Inner Circle
+Normal rank
@@ Property / cites work @@
+Separation logic with one quantified variable
@@ Property / cites work: Separation logic with one quantified variable / rank @@
+Normal rank
@@ Property / cites work @@
+The effects of adding reachability predicates in propositional separation logic
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+The Tree Width of Separation Logic with Recursive Definitions
+Normal rank
@@ Property / cites work @@
+Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic
+Normal rank
@@ Property / cites work @@
+A separation logic with data: small models and automation
+Normal rank
@@ Property / cites work @@
+A decidable fragment in separation logic with inductive predicates and arithmetic
+Normal rank
@@ Property / cites work @@
+Q2847405
@@ Property / cites work: Q2847405 / rank @@
+Normal rank
@@ Property / cites work @@
+A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+Complexity Hierarchies beyond Elementary
@@ Property / cites work: Complexity Hierarchies beyond Elementary / rank @@
+Normal rank
@@ Property / cites work @@
+Scalable Shape Analysis for Systems Code
@@ Property / cites work: Scalable Shape Analysis for Systems Code / rank @@
+Normal rank