The following pages link to NQTHM (Q19570):
Displaying 5 items.
- Orderings for term-rewriting systems (Q593789) (← links)
- A formalization of the Knuth-Bendix(-Huet) critical pair theorem (Q616850) (← links)
- Set theory for verification. I: From foundations to functions (Q1319386) (← links)
- Foundations of a theorem prover for functional and mathematical uses (Q4275695) (← links)
- Learning Strategies for Mechanised Building of Decision Procedures (Q4916230) (← links)
