Pages that link to "Item:Q2449046"
From MaRDI portal
The following pages link to A framework for linear authorization logics (Q2449046):
Displaying 7 items.
- Proof search and certificates for evidential transactions (Q2055859) (← links)
- On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
- On the Complexity of Linear Authorization Logics (Q2986827) (← links)
- A language for specifying sequences of authorization transformations and its applications (Q4373610) (← links)
- Hybrid linear logic, revisited (Q5236552) (← links)
- Subexponentials in non-commutative linear logic (Q5236554) (← links)
- An authorization model and its formal semantics (Q5862296) (← links)