Pages that link to "Item:Q3094143"
From MaRDI portal
The following pages link to From Deep Inference to Proof Nets via Cut Elimination (Q3094143):
Displaying 7 items.
- Extension without cut (Q714731) (← links)
- Cut elimination inside a deep inference system for classical predicate logic (Q817702) (← links)
- On the proof complexity of deep inference (Q2946572) (← links)
- A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae (Q3066096) (← links)
- Combinatorial flows and their normalisation (Q5111329) (← links)
- Deep inference and expansion trees for second-order multiplicative linear logic (Q5236548) (← links)
- Logical Approaches to Computational Barriers (Q5898803) (← links)
