The classification of polynomial orderings on monadic terms

DOI10.1007/s002000000044zbMath0973.68102OpenAlexW2007567303WikidataQ55393284 ScholiaQ55393284MaRDI QIDQ5941757

Nick Cropper, Ursula Martin Webb

Publication date: 26 August 2001

Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002000000044

zbMATH Keywords

polynomial orderings on term algebrasunary function symbols

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting