The following pages link to (Q3804236):
Displaying 5 items.
- Automated proofs of equality problems in Overbeek's competition (Q1319385) (← links)
- Equational formulae with membership constraints (Q1333268) (← links)
- The rue theorem-proving system: The complete set of LIM+ challenge problems (Q1337564) (← links)
- A mechanical proof of the Church-Rosser theorem (Q3801105) (← links)
- Evolving combinators (Q5234723) (← links)