Pages that link to "Item:Q2461191"
From MaRDI portal
The following pages link to Sufficient conditions for cut elimination with complexity analysis (Q2461191):
Displaying 11 items.
- Cut elimination for GLS using the terminability of its regress process (Q288243) (← links)
- Cut elimination in coalgebraic logics (Q618171) (← links)
- Cut-elimination for \(\omega_{1}\) (Q1799034) (← links)
- Cut-elimination for quantified conditional logic (Q2363418) (← links)
- Sharpened lower bounds for cut elimination (Q2892684) (← links)
- Cut Elimination for Shallow Modal Logics (Q3010370) (← links)
- Interpolation via translations (Q3184216) (← links)
- Computationally Equivalent Elimination of Conditions (Q3527281) (← links)
- Cut-Elimination for SBL (Q5013907) (← links)
- Computer Science Logic (Q5292638) (← links)
- Cut-elimination and redundancy-elimination by resolution (Q5927981) (← links)
