Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003804739> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2003804739 abstract "Nowadays, polynomial interpretations are an essential ingredient in the development of tools for proving termination. We have recently proven that polynomial interpretations over the reals are strictly better for proving polynomial termination of rewriting than those which only use integer coefficients. Some essential aspects of their practical use, though, remain unexplored or underdeveloped. In this paper, we compare the two current frameworks for using polynomial intepretations over the reals and show that one of them is strictly better than the other, thus making a suitable choice for implementations. We also prove that the use of algebraic real co-efficients in the interpretations suffice for termination proofs. We also discuss the use of algorithms and techniques from Tarski's first-order logic of the real closed fields for implementing their use in proofs of termination. We argue that more standard constraint-solving techniques are better suited for this. We propose an algorithm to solve the polynomial constraints which arise when specific finite subsets of rational (or even algebraic real) numbers are considered for giving value to the coefficients. We provide a preliminary experimental evaluation of the algorithm which has been implemented as part of the termination tool MU-TERM." @default.
- W2003804739 created "2016-06-24" @default.
- W2003804739 creator A5012146310 @default.
- W2003804739 date "2007-01-01" @default.
- W2003804739 modified "2023-09-27" @default.
- W2003804739 title "Practical use of polynomials over the reals in proofs of termination" @default.
- W2003804739 cites W1489107600 @default.
- W2003804739 cites W1496103894 @default.
- W2003804739 cites W1530752153 @default.
- W2003804739 cites W1539838732 @default.
- W2003804739 cites W1544079619 @default.
- W2003804739 cites W1552961498 @default.
- W2003804739 cites W1748718887 @default.
- W2003804739 cites W1970844917 @default.
- W2003804739 cites W1978221548 @default.
- W2003804739 cites W1988455648 @default.
- W2003804739 cites W1994958005 @default.
- W2003804739 cites W1999927144 @default.
- W2003804739 cites W2001932052 @default.
- W2003804739 cites W2007941273 @default.
- W2003804739 cites W2019496318 @default.
- W2003804739 cites W2030433877 @default.
- W2003804739 cites W2032825481 @default.
- W2003804739 cites W2038571924 @default.
- W2003804739 cites W2062950667 @default.
- W2003804739 cites W2090855107 @default.
- W2003804739 cites W2096478770 @default.
- W2003804739 cites W2099083823 @default.
- W2003804739 cites W2134287022 @default.
- W2003804739 cites W2149605327 @default.
- W2003804739 cites W2164290630 @default.
- W2003804739 cites W2168096396 @default.
- W2003804739 cites W2168393711 @default.
- W2003804739 cites W91193428 @default.
- W2003804739 doi "https://doi.org/10.1145/1273920.1273927" @default.
- W2003804739 hasPublicationYear "2007" @default.
- W2003804739 type Work @default.
- W2003804739 sameAs 2003804739 @default.
- W2003804739 citedByCount "17" @default.
- W2003804739 countsByYear W20038047392012 @default.
- W2003804739 countsByYear W20038047392013 @default.
- W2003804739 countsByYear W20038047392014 @default.
- W2003804739 countsByYear W20038047392015 @default.
- W2003804739 crossrefType "proceedings-article" @default.
- W2003804739 hasAuthorship W2003804739A5012146310 @default.
- W2003804739 hasConcept C108710211 @default.
- W2003804739 hasConcept C11413529 @default.
- W2003804739 hasConcept C118615104 @default.
- W2003804739 hasConcept C134306372 @default.
- W2003804739 hasConcept C136119220 @default.
- W2003804739 hasConcept C154690210 @default.
- W2003804739 hasConcept C154945302 @default.
- W2003804739 hasConcept C199360897 @default.
- W2003804739 hasConcept C199622910 @default.
- W2003804739 hasConcept C202444582 @default.
- W2003804739 hasConcept C2524010 @default.
- W2003804739 hasConcept C2776036281 @default.
- W2003804739 hasConcept C33923547 @default.
- W2003804739 hasConcept C41008148 @default.
- W2003804739 hasConcept C49937458 @default.
- W2003804739 hasConcept C80444323 @default.
- W2003804739 hasConcept C90119067 @default.
- W2003804739 hasConcept C9376300 @default.
- W2003804739 hasConcept C97137487 @default.
- W2003804739 hasConceptScore W2003804739C108710211 @default.
- W2003804739 hasConceptScore W2003804739C11413529 @default.
- W2003804739 hasConceptScore W2003804739C118615104 @default.
- W2003804739 hasConceptScore W2003804739C134306372 @default.
- W2003804739 hasConceptScore W2003804739C136119220 @default.
- W2003804739 hasConceptScore W2003804739C154690210 @default.
- W2003804739 hasConceptScore W2003804739C154945302 @default.
- W2003804739 hasConceptScore W2003804739C199360897 @default.
- W2003804739 hasConceptScore W2003804739C199622910 @default.
- W2003804739 hasConceptScore W2003804739C202444582 @default.
- W2003804739 hasConceptScore W2003804739C2524010 @default.
- W2003804739 hasConceptScore W2003804739C2776036281 @default.
- W2003804739 hasConceptScore W2003804739C33923547 @default.
- W2003804739 hasConceptScore W2003804739C41008148 @default.
- W2003804739 hasConceptScore W2003804739C49937458 @default.
- W2003804739 hasConceptScore W2003804739C80444323 @default.
- W2003804739 hasConceptScore W2003804739C90119067 @default.
- W2003804739 hasConceptScore W2003804739C9376300 @default.
- W2003804739 hasConceptScore W2003804739C97137487 @default.
- W2003804739 hasLocation W20038047391 @default.
- W2003804739 hasOpenAccess W2003804739 @default.
- W2003804739 hasPrimaryLocation W20038047391 @default.
- W2003804739 hasRelatedWork W1456369345 @default.
- W2003804739 hasRelatedWork W1552902359 @default.
- W2003804739 hasRelatedWork W1987272770 @default.
- W2003804739 hasRelatedWork W2010460668 @default.
- W2003804739 hasRelatedWork W2025910816 @default.
- W2003804739 hasRelatedWork W2321824256 @default.
- W2003804739 hasRelatedWork W2333819912 @default.
- W2003804739 hasRelatedWork W2735153715 @default.
- W2003804739 hasRelatedWork W2749755840 @default.
- W2003804739 hasRelatedWork W2947186315 @default.
- W2003804739 isParatext "false" @default.
- W2003804739 isRetracted "false" @default.
- W2003804739 magId "2003804739" @default.
- W2003804739 workType "article" @default.