The following pages link to Parsing MELL proof nets (Q5940925):
Displaying 10 items.
- Correctness of linear logic proof structures is NL-complete (Q534703) (← links)
- A linear algorithm for MLL proof net correctness and sequentialization (Q534705) (← links)
- Proof nets, garbage, and computations (Q1589650) (← links)
- Proof nets for classical logic (Q1982017) (← links)
- Proof diagrams for multiplicative linear logic: syntax and semantics (Q2331072) (← links)
- Using and parsing the Mizar language (Q2847392) (← links)
- Rewritings for polarized multiplicative and exponential proof structures (Q2870318) (← links)
- (Q4993336) (← links)
- (Q5014804) (← links)
- (Q5089024) (← links)