The following pages link to (Q4812967):
Displaying 10 items.
- MELL in the calculus of structures (Q1884903) (← links)
- System BV is NP-complete (Q2478549) (← links)
- On structuring proof search for first order linear logic (Q2503319) (← links)
- Linear Lambda Calculus and Deep Inference (Q3007666) (← links)
- System NEL is Undecidable (Q4924537) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- (Q5089025) (← links)
- (Q5089276) (← links)
- Constructing weak simulations from linear implications for processes with private names (Q5236556) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)
