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):
Displayed 6 items.
- Extension without cut (Q714731) (← links)
- Composing dinatural transformations: towards a calculus of substitution (Q2031559) (← 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)