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):
Displayed 1 item.
The following pages link to A new correctness criterion for the proof nets of non-commutative multiplicative linear logics (Q4328819):
Displayed 1 item.