Pages that link to "Item:Q2266989"
From MaRDI portal
The following pages link to Regaining cut admissibility in deduction modulo using abstract completion (Q2266989):
Displaying 6 items.
- Clausal presentation of theories in deduction modulo (Q744331) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- Canonicity! (Q3541714) (← links)
- Automating Theories in Intuitionistic Logic (Q3655199) (← links)
- (Q5005105) (← links)
- Experimenting with Deduction Modulo (Q5200022) (← links)
