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

From MaRDI portal

(Redirected from Publication:2502172)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=On_the_relative_power_of_polynomials_with_real,_rational,_and_integer_coefficients_in_proofs_of_termination_of_rewriting&oldid=78775088"