Pages that link to "Item:Q290915"

The following pages link to Jean-René Courtault (Q290915):

Displaying 5 items.

• A logic of separating modalities (Q290917) (← links)
• An Epistemic Separation Logic (Q2947467) (← links)
• A Modal BI Logic for Dynamic Resource Properties (Q3455841) (← links)
• A modal separation logic for resource dynamics (Q4612424) (← links)
• A public announcement separation logic (Q5377700) (← links)