The following pages link to Joachim Steinbach (Q1311403):
Displaying 10 items.
- Simplification orderings: Putting them to the test (Q1311404) (← links)
- Generating polynomial orderings (Q1318775) (← links)
- (Q3750148) (← links)
- (Q4256647) (← links)
- (Q4299853) (← links)
- (Q4846999) (← links)
- Extensions and comparison of simplification orderings (Q5055737) (← links)
- Automatic termination proofs with transformation orderings (Q5055814) (← links)
- AC-Termination of rewrite systems: A modified Knuth-Bendix ordering (Q5096208) (← links)
- Termination of combined (rewrite and λ-calculus) systems (Q5881181) (← links)
