The following pages link to (Q4842978):
Displayed 4 items.
- Handsome proof-nets: Perfect matchings and cographs (Q1398476) (← links)
- A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic (Q1398479) (← links)
- Connection methods in linear logic and proof nets construction (Q1575926) (← links)
- (Q5111318) (← links)