Pages that link to "Item:Q2055854"
From MaRDI portal
The following pages link to Unifying decidable entailments in separation logic with inductive definitions (Q2055854):
Displaying 3 items.
- Unifying decidable entailments in separation logic with inductive definitions (Q2055854) (← links)
- Decision problems in a logic for reasoning about reconfigurable distributed systems (Q2104556) (← links)
- A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions (Q5875940) (← links)