The following pages link to (Q4938596):
Displaying 5 items.
- Superposition-based equality handling for analytic tableaux (Q877891) (← links)
- Practical algorithms for deciding path ordering constraint satisfaction. (Q1400710) (← links)
- Stratified resolution (Q1404977) (← links)
- Constraint solving for term orderings compatible with abelian semigroups, monoids and groups (Q1768746) (← links)
- Solving simplification ordering constraints (Q5096318) (← links)