Pages that link to "Item:Q5310657"

The following pages link to A System of Interaction and Structure II: The Need for Deep Inference (Q5310657):

Displaying 12 items.

• Deep inference and probabilistic coherence spaces (Q452333) (← links)
• On linear logic planning and concurrency (Q1041042) (← links)
• Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
• System BV is NP-complete (Q2478549) (← links)
• Behavioural Analysis of Sessions Using the Calculus of Structures (Q3179170) (← links)
• A Subatomic Proof System for Decision Trees (Q5056373) (← links)
• An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
• (Q5089276) (← links)
• Constructing weak simulations from linear implications for processes with private names (Q5236556) (← 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)