Pages that link to "Item:Q2904403"
From MaRDI portal
The following pages link to Complexity of Deep Inference via Atomic Flows (Q2904403):
Displaying 5 items.
- On the proof complexity of deep inference (Q2946572) (← links)
- On the Power of Substitution in the Calculus of Structures (Q2946759) (← links)
- On linear rewriting systems for Boolean logic and some applications to proof theory (Q2974793) (← links)
- A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae (Q3066096) (← links)
- Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae (Q5739889) (← links)