Pages that link to "Item:Q2987066"
From MaRDI portal
The following pages link to Reducing redundancy in cut-elimination by resolution (Q2987066):
Displaying 9 items.
- On the elimination of quantifier-free cuts (Q650922) (← links)
- Proof optimization for partial redundancy elimination (Q843219) (← links)
- Redundancy elimination with a lexicographic solved form (Q1380440) (← links)
- Physics and proof theory (Q2249005) (← links)
- Cut-elimination: syntax and semantics (Q2259012) (← links)
- On the convergence of reduction-based and model-based methods in proof theory (Q2866742) (← links)
- Redundancy elimination for LF (Q2871840) (← links)
- Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic (Q3179185) (← links)
- Cut-elimination and redundancy-elimination by resolution (Q5927981) (← links)