Pages that link to "Item:Q3656772"
From MaRDI portal
The following pages link to A Logical and Computational Theory of Located Resource (Q3656772):
Displayed 6 items.
- Bunched sequential information (Q266883) (← links)
- A logic of separating modalities (Q290917) (← links)
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- The virtues of idleness: a decidable fragment of resource agent logic (Q514142) (← links)
- A calculus and logic of bunched resources and processes (Q906271) (← links)
- Algebra and logic for access control (Q968301) (← links)