Pages that link to "Item:Q5387898"
From MaRDI portal
The following pages link to Reducing Nondeterminism in the Calculus of Structures (Q5387898):
Displayed 5 items.
- On linear logic planning and concurrency (Q1041042) (← links)
- System BV is NP-complete (Q2478549) (← links)
- A deep inference system for the modal logic S5 (Q2642520) (← links)
- On the Power of Substitution in the Calculus of Structures (Q2946759) (← links)
- Maude as a Platform for Designing and Implementing Deep Inference Systems (Q5415654) (← links)