Matches in SemOpenAlex for { <https://semopenalex.org/work/W1502242807> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1502242807 endingPage "258" @default.
- W1502242807 startingPage "243" @default.
- W1502242807 abstract "Polynomial interpretations are a useful technique for proving terminationof term rewrite systems. They come in various flavors:polynomial interpretations with real, rational and integer coefficients.In 2006, Lucas proved that there are rewrite systems that can be shownpolynomially terminating by polynomial interpretations withreal (algebraic)coefficients, but cannot be shown polynomially terminating usingpolynomials with rational coefficients only.He also proved a similar theorem with respect to the use ofrational coefficients versus integer coefficients.In this paper we show that polynomial interpretations with real orrational coefficients do not subsume polynomial interpretations withinteger coefficients, contrary to what is commonly believed.We further show that polynomial interpretations with realcoefficients subsume polynomial interpretations with rationalcoefficients." @default.
- W1502242807 created "2016-06-24" @default.
- W1502242807 creator A5044286856 @default.
- W1502242807 creator A5049118633 @default.
- W1502242807 date "2010-01-01" @default.
- W1502242807 modified "2023-09-23" @default.
- W1502242807 title "POLYNOMIAL INTERPRETATIONS OVER THE REALS DO NOT SUBSUME POLYNOMIAL INTERPRETATIONS OVER THE INTEGERS" @default.
- W1502242807 cites W1574151794 @default.
- W1502242807 cites W1583295953 @default.
- W1502242807 cites W1978221548 @default.
- W1502242807 cites W1988455648 @default.
- W1502242807 cites W1999927144 @default.
- W1502242807 cites W2003804739 @default.
- W1502242807 cites W2007941273 @default.
- W1502242807 cites W2090726601 @default.
- W1502242807 cites W2090855107 @default.
- W1502242807 cites W2099083823 @default.
- W1502242807 cites W2122805723 @default.
- W1502242807 cites W2134607541 @default.
- W1502242807 cites W2168096396 @default.
- W1502242807 doi "https://doi.org/10.4230/lipics.rta.2010.243" @default.
- W1502242807 hasPublicationYear "2010" @default.
- W1502242807 type Work @default.
- W1502242807 sameAs 1502242807 @default.
- W1502242807 citedByCount "3" @default.
- W1502242807 countsByYear W15022428072012 @default.
- W1502242807 countsByYear W15022428072014 @default.
- W1502242807 countsByYear W15022428072015 @default.
- W1502242807 crossrefType "proceedings-article" @default.
- W1502242807 hasAuthorship W1502242807A5044286856 @default.
- W1502242807 hasAuthorship W1502242807A5049118633 @default.
- W1502242807 hasConcept C101044782 @default.
- W1502242807 hasConcept C101525915 @default.
- W1502242807 hasConcept C114614502 @default.
- W1502242807 hasConcept C118615104 @default.
- W1502242807 hasConcept C134306372 @default.
- W1502242807 hasConcept C136119220 @default.
- W1502242807 hasConcept C199360897 @default.
- W1502242807 hasConcept C202444582 @default.
- W1502242807 hasConcept C33923547 @default.
- W1502242807 hasConcept C41008148 @default.
- W1502242807 hasConcept C45025165 @default.
- W1502242807 hasConcept C90119067 @default.
- W1502242807 hasConcept C9376300 @default.
- W1502242807 hasConcept C97137487 @default.
- W1502242807 hasConcept C97395012 @default.
- W1502242807 hasConceptScore W1502242807C101044782 @default.
- W1502242807 hasConceptScore W1502242807C101525915 @default.
- W1502242807 hasConceptScore W1502242807C114614502 @default.
- W1502242807 hasConceptScore W1502242807C118615104 @default.
- W1502242807 hasConceptScore W1502242807C134306372 @default.
- W1502242807 hasConceptScore W1502242807C136119220 @default.
- W1502242807 hasConceptScore W1502242807C199360897 @default.
- W1502242807 hasConceptScore W1502242807C202444582 @default.
- W1502242807 hasConceptScore W1502242807C33923547 @default.
- W1502242807 hasConceptScore W1502242807C41008148 @default.
- W1502242807 hasConceptScore W1502242807C45025165 @default.
- W1502242807 hasConceptScore W1502242807C90119067 @default.
- W1502242807 hasConceptScore W1502242807C9376300 @default.
- W1502242807 hasConceptScore W1502242807C97137487 @default.
- W1502242807 hasConceptScore W1502242807C97395012 @default.
- W1502242807 hasLocation W15022428071 @default.
- W1502242807 hasOpenAccess W1502242807 @default.
- W1502242807 hasPrimaryLocation W15022428071 @default.
- W1502242807 hasRelatedWork W1542943303 @default.
- W1502242807 hasRelatedWork W1568532679 @default.
- W1502242807 hasRelatedWork W1583295953 @default.
- W1502242807 hasRelatedWork W1748718887 @default.
- W1502242807 hasRelatedWork W2007567303 @default.
- W1502242807 hasRelatedWork W2007941273 @default.
- W1502242807 hasRelatedWork W2011901971 @default.
- W1502242807 hasRelatedWork W2073388164 @default.
- W1502242807 hasRelatedWork W2074013392 @default.
- W1502242807 hasRelatedWork W2090855107 @default.
- W1502242807 hasRelatedWork W2122805723 @default.
- W1502242807 hasRelatedWork W2124336406 @default.
- W1502242807 hasRelatedWork W2127804012 @default.
- W1502242807 hasRelatedWork W2136514805 @default.
- W1502242807 hasRelatedWork W2294074214 @default.
- W1502242807 hasRelatedWork W2949249818 @default.
- W1502242807 hasRelatedWork W2949640103 @default.
- W1502242807 hasRelatedWork W2956865288 @default.
- W1502242807 hasRelatedWork W51696858 @default.
- W1502242807 hasRelatedWork W191835670 @default.
- W1502242807 hasVolume "6" @default.
- W1502242807 isParatext "false" @default.
- W1502242807 isRetracted "false" @default.
- W1502242807 magId "1502242807" @default.
- W1502242807 workType "article" @default.