The following pages link to (Q4249895):
Displayed 6 items.
- Extending reduction orderings to ACU-compatible reduction orderings (Q293311) (← links)
- Automatic decidability and combinability (Q549666) (← links)
- Superposition with completely built-in abelian groups (Q1432887) (← links)
- Cancellative Abelian monoids and related structures in refutational theorem proving. II (Q1864899) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)