The following pages link to (Q4842978):
Displaying 6 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)
- (Q4601840) (← links)
- A polynomial-time algorithm for the Lambek calculus with brackets of bounded order (Q5111318) (← links)
- Non-deterministic Boolean Proof Nets (Q5747635) (← links)