Pages that link to "Item:Q4328819"
From MaRDI portal
The following pages link to A new correctness criterion for the proof nets of non-commutative multiplicative linear logics (Q4328819):
Displaying 9 items.
- A linear algorithm for MLL proof net correctness and sequentialization (Q534705) (← links)
- A new correctness criterion for cyclic proof nets (Q1280050) (← links)
- A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic (Q1398479) (← links)
- A new correctness criterion for multiplicative non-commutative proof nets (Q1407588) (← links)
- An algebraic correctness criterion for intuitionistic multiplicative proof-nets (Q1960420) (← links)
- Minimality of the correctness criterion for multiplicative proof nets (Q4236199) (← links)
- (Q4501135) (← links)
- (Q4601840) (← links)
- Computer Science Logic (Q5311252) (← links)