Pages that link to "Item:Q2414251"
From MaRDI portal
The following pages link to Automated mutual induction proof in separation logic (Q2414251):
Displayed 4 items.
- Unifying decidable entailments in separation logic with inductive definitions (Q2055854) (← links)
- Generalized arrays for Stainless frames (Q2152661) (← links)
- A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions (Q5875940) (← links)
- An efficient cyclic entailment procedure in a fragment of separation logic (Q6091213) (← links)