Pages that link to "Item:Q1342254"
From MaRDI portal
The following pages link to Constant-only multiplicative linear logic is NP-complete (Q1342254):
Displaying 9 items.
- Decision problems for propositional linear logic (Q1192352) (← links)
- First-order linear logic without modalities is NEXPTIME-hard (Q1342252) (← links)
- Polynomial equivalence among systems LLNC, LLNC\(_a\) and LLNC\(_0\) (Q1575872) (← links)
- Direct encodings of NP-complete problems into Horn sequents of multiplicative linear logic (Q1648864) (← links)
- System BV is NP-complete (Q2478549) (← links)
- The decidability of the intensional fragment of classical linear logic (Q2517231) (← links)
- ! and ? – Storage as tensorial strength (Q4715669) (← links)
- (Q5014804) (← links)
- Parsing MELL proof nets (Q5940925) (← links)