Pages that link to "Item:Q5739889"
From MaRDI portal
The following pages link to Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae (Q5739889):
Displaying 5 items.
- Cut elimination inside a deep inference system for classical predicate logic (Q817702) (← links)
- Complexity of Deep Inference via Atomic Flows (Q2904403) (← links)
- On the Proof Complexity of Cut-Free Bounded Deep Inference (Q3010365) (← links)
- A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae (Q3066096) (← links)
- A Subatomic Proof System for Decision Trees (Q5056373) (← links)
