Pages that link to "Item:Q4612424"
From MaRDI portal
The following pages link to A modal separation logic for resource dynamics (Q4612424):
Displaying 6 items.
- (Q3121529) (← links)
- A Substructural Epistemic Resource Logic (Q5224495) (← links)
- (Q5376651) (← links)
- A public announcement separation logic (Q5377700) (← links)
- On Composing Finite Forests with Modal Logics (Q5886519) (← links)
- An epistemic separation logic with action models (Q6117141) (← links)
