Pages that link to "Item:Q2961583"
From MaRDI portal
The following pages link to Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic (Q2961583):
Displaying 6 items.
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- Separation logic and logics with team semantics (Q2172820) (← links)
- Strong-separation logic (Q2233486) (← links)
- Compositional satisfiability solving in separation logic (Q2234106) (← links)
- Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic (Q2961583) (← links)
- Program Verification with Separation Logic (Q5883571) (← links)
