Pages that link to "Item:Q534703"

The following pages link to Correctness of linear logic proof structures is NL-complete (Q534703):

Displaying 5 items.

• A formal model for a linear time correctness condition of proof nets of multiplicative linear logic (Q2119124) (← links)
• Graph characterization by counting sink star subgraphs (Q2360843) (← links)
• (Q4993336) (← links)
• (Q4993356) (← links)
• Transcendental syntax I: deterministic case (Q5269009) (← links)