Pages that link to "Item:Q897936"
From MaRDI portal
The following pages link to Subexponential concurrent constraint programming (Q897936):
Displayed 10 items.
- Hybrid and subexponential linear logics (Q1744445) (← links)
- Kleene star, subexponentials without contraction, and infinite computations (Q2234420) (← links)
- Mechanizing focused linear logic in Coq (Q2333326) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
- Slicing concurrent constraint programs (Q2409727) (← links)
- A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)
- Hybrid linear logic, revisited (Q5236552) (← links)
- Subexponentials in non-commutative linear logic (Q5236554) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)