Pages that link to "Item:Q2931271"
From MaRDI portal
The following pages link to A Proof Theoretic Study of Soft Concurrent Constraint Programming (Q2931271):
Displayed 5 items.
- Subexponential concurrent constraint programming (Q897936) (← links)
- Hybrid and subexponential linear logics (Q1744445) (← links)
- On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
- A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)
- Hybrid linear logic, revisited (Q5236552) (← links)