Pages that link to "Item:Q2628774"
From MaRDI portal
The following pages link to A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774):
Displaying 10 items.
- Hybrid and subexponential linear logics (Q1744445) (← links)
- A process algebraic approach to reaction systems (Q2044947) (← links)
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- A fresh view of linear logic as a logical framework (Q2229156) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- Slicing concurrent constraint programs (Q2409727) (← links)
- A logic of behaviour in context (Q2453209) (← links)
- Verification of spatial and temporal modalities in biochemical systems (Q2520667) (← links)
- Hybrid linear logic, revisited (Q5236552) (← links)
- Process calculi for biological processes (Q6062000) (← links)