Pages that link to "Item:Q5277754"
From MaRDI portal
The following pages link to Fast verification of MLL proof nets via IMLL (Q5277754):
Displaying 4 items.
- Correctness of linear logic proof structures is NL-complete (Q534703) (← links)
- A linear algorithm for MLL proof net correctness and sequentialization (Q534705) (← links)
- A formal model for a linear time correctness condition of proof nets of multiplicative linear logic (Q2119124) (← links)
- (Q4993356) (← links)
