Pages that link to "Item:Q3066096"
From MaRDI portal
The following pages link to A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae (Q3066096):
Displaying 9 items.
- Extension without cut (Q714731) (← links)
- Composing dinatural transformations: towards a calculus of substitution (Q2031559) (← links)
- Learning accurate cutset networks by exploiting decomposability (Q2294082) (← links)
- Complexity of Deep Inference via Atomic Flows (Q2904403) (← links)
- On the Power of Substitution in the Calculus of Structures (Q2946759) (← links)
- Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic (Q3179185) (← links)
- Contextual Natural Deduction (Q3455860) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
- Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae (Q5739889) (← links)
