Pages that link to "Item:Q2502172"

The following pages link to On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting (Q2502172):

Displaying 4 items.

• Real or natural number interpretation and their effect on complexity (Q2346989) (← links)
• Proving Termination of Context-Sensitive Rewriting with MU-TERM (Q2867963) (← links)
• Search Techniques for Rational Polynomial Orders (Q5505493) (← links)
• Increasing Interpretations (Q5505499) (← links)