The following pages link to (Q3698310):
Displaying 5 items.
- Theorem-proving with resolution and superposition (Q757094) (← links)
- Simplifying conditional term rewriting systems: Unification, termination and confluence (Q1100891) (← links)
- History and basic features of the critical-pair/completion procedure (Q1103414) (← links)
- The equational theory of parameterized specifications (Q1111364) (← links)
- Automatic proofs by induction in theories without constructors (Q1824382) (← links)
