The following pages link to System NEL is Undecidable (Q4924537):
Displayed 6 items.
- On the decision problem for MELL (Q1733062) (← links)
- MELL in the calculus of structures (Q1884903) (← links)
- The fixed point problem of a simple reversible language (Q1989327) (← links)
- System BV is NP-complete (Q2478549) (← links)
- Linear Lambda Calculus and Deep Inference (Q3007666) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)