The following pages link to (Q3024915):
Displaying 16 items.
- Deep inference and probabilistic coherence spaces (Q452333) (← links)
- Handsome proof-nets: Perfect matchings and cographs (Q1398476) (← links)
- On the decision problem for MELL (Q1733062) (← links)
- MELL in the calculus of structures (Q1884903) (← links)
- System BV is NP-complete (Q2478549) (← links)
- Observed Communication Semantics for Classical Processes (Q2988633) (← links)
- (Q4370244) (← links)
- Non-commutative logic II: sequent calculus and phase semantics (Q4487273) (← links)
- Non-normal modalities in variants of linear logic (Q4586144) (← links)
- System NEL is Undecidable (Q4924537) (← links)
- Pomset Logic (Q5014600) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- Constructing weak simulations from linear implications for processes with private names (Q5236556) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)
- Flag: a self-dual modality for non-commutative contraction and duplication in the category of coherence spaces (Q6657789) (← links)
