Pages that link to "Item:Q3090833"
From MaRDI portal
The following pages link to Tractable Reasoning in a Fragment of Separation Logic (Q3090833):
Displaying 20 items.
- On the almighty wand (Q418137) (← links)
- Compositional entailment checking for a fragment of separation logic (Q1688543) (← links)
- Unifying separation logic and region logic to allow interoperability (Q1798668) (← links)
- Strong-separation logic (Q2233486) (← links)
- Separation logic with one quantified variable (Q2411038) (← links)
- A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints (Q2817951) (← links)
- Two-Variable Separation Logic and Its Inner Circle (Q2957697) (← links)
- Tractable Reasoning in a Fragment of Separation Logic (Q3090833) (← links)
- Disproving Inductive Entailments in Separation Logic via Base Pair Approximation (Q3455777) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- (Q4989410) (← links)
- A First-Order Logic with Frames (Q5041109) (← links)
- Decision Procedure for Entailment of Symbolic Heaps with Arrays (Q5055997) (← links)
- (Q5090983) (← links)
- (Q5111651) (← links)
- On Symbolic Heaps Modulo Permission Theories (Q5136317) (← links)
- Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction (Q5277913) (← links)
- A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions (Q5875940) (← links)
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5925549) (← links)
- A proof procedure for separation logic with inductive definitions and data (Q6053843) (← links)
