Pages that link to "Item:Q5267424"
From MaRDI portal
The following pages link to Resource-distribution via Boolean constraints (Q5267424):
Displaying 9 items.
- Bunched sequential information (Q266883) (← links)
- Temporal BI: proof system, semantics and translations (Q391122) (← links)
- Efficient resource management for linear logic proof search (Q1575929) (← links)
- Focussing and proof construction (Q1840461) (← links)
- Resourceful program synthesis from graded linear types (Q2119110) (← links)
- (Q3476585) (← links)
- (Q4553286) (← links)
- A labelled sequent calculus for BBI: proof theory and proof search (Q4612426) (← links)
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics (Q6612799) (← links)