The following pages link to Canonical Ground Horn Theories (Q4916071):
Displaying 5 items.
- Conditional congruence closure over uninterpreted and interpreted symbols (Q1730315) (← links)
- SGGS decision procedures (Q2096457) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- Canonicity! (Q3541714) (← links)
- Semantically-guided goal-sensitive reasoning: decision procedures and the Koala prover (Q6156634) (← links)
