Pages that link to "Item:Q5941757"

The following pages link to The classification of polynomial orderings on monadic terms (Q5941757):

Displaying 1 item.

• On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting (Q2502172) (← links)