The following pages link to Polarized Resolution Modulo (Q3163883):
Displaying 8 items.
- Clausal presentation of theories in deduction modulo (Q744331) (← links)
- Equational theorem proving modulo (Q2055853) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- Regaining cut admissibility in deduction modulo using abstract completion (Q2266989) (← links)
- A Completion Method to Decide Reachability in Rewrite Systems (Q2964463) (← links)
- CTL Model Checking in Deduction Modulo (Q3454102) (← links)
- Linking focusing and resolution with selection (Q5005105) (← links)
- Experimenting with Deduction Modulo (Q5200022) (← links)