The following pages link to System BV is NP-complete (Q2478549):
Displaying 5 items.
- On the decision problem for MELL (Q1733062) (← links)
- True Concurrency of Deep Inference Proofs (Q2820698) (← links)
- A Logical Basis for Quantum Evolution and Entanglement (Q5414959) (← links)
- Maude as a Platform for Designing and Implementing Deep Inference Systems (Q5415654) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)