Pages that link to "Item:Q5277913"

The following pages link to Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction (Q5277913):

Displaying 9 items.

• Reasoning about block-based cloud storage systems via separation logic (Q2087457) (← links)
• Separation logic and logics with team semantics (Q2172820) (← 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)
• Completeness for a First-Order Abstract Separation Logic (Q3179309) (← links)
• On Temporal and Separation Logics (Q5079764) (← links)
• (Q5111651) (← links)
• The logic of separation logic: models and proofs (Q6541164) (← links)