The following pages link to (Q4936127):
Displayed 4 items.
- Practical algorithms for deciding path ordering constraint satisfaction. (Q1400710) (← links)
- On using ground joinable equations in equational theorem proving (Q1404987) (← links)
- Induction = I-axiomatization + first-order consistency. (Q1854350) (← links)
- Citius altius fortius (Q4916218) (← links)