The following pages link to (Q4264723):
Displayed 6 items.
- Redundancy criteria for constrained completion (Q673620) (← links)
- A total AC-compatible ordering based on RPO (Q673623) (← links)
- On the complexity of recursive path orderings (Q685537) (← links)
- Linear and unit-resulting refutations for Horn theories (Q1923821) (← links)
- SMELS: Satisfiability Modulo Equality with Lazy Superposition (Q3540073) (← links)
- (Q4222859) (← links)