Pages that link to "Item:Q5747634"
From MaRDI portal
The following pages link to A Local Criterion for Polynomial-Time Stratified Computations (Q5747634):
Displaying 4 items.
- Paths-based criteria and application to linear logic subsystems characterizing polynomial time (Q1640980) (← links)
- A type-assignment of linear erasure and duplication (Q2193281) (← links)
- Polynomial-time computation via local inference relations (Q5738964) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)