Pages that link to "Item:Q1401942"

The following pages link to An upper bound on the derivational complexity of Knuth-Bendix orderings. (Q1401942):

Displaying 1 item.

• Bounding derivation lengths with functions from the slow growing hierarchy (Q1267850) (← links)