The following pages link to (Q3779786):
Displayed 8 items.
- Automating the Knuth Bendix ordering (Q751830) (← links)
- About the descriptive power of certain classes of finite string-rewriting systems (Q910850) (← links)
- A geometrical approach to multiset orderings (Q1119955) (← links)
- Generating polynomial orderings (Q1318775) (← links)
- Proving termination of (conditional) rewrite systems. A semantic approach (Q1323317) (← links)
- Orienting rewrite rules with the Knuth-Bendix order. (Q1401932) (← links)
- An upper bound on the derivational complexity of Knuth-Bendix orderings. (Q1401942) (← links)
- Rational languages defined with a non-associative concatenation (Q1575941) (← links)