Matches in SemOpenAlex for { <https://semopenalex.org/work/W2045294429> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2045294429 abstract "We introduce a simplification order called the weighted path order (WPO). WPO compares weights of terms as in the Knuth-Bendix order (KBO), while WPO allows weights to be computed by an arbitrary interpretation which is weakly monotone and weakly simple. We investigate summations, polynomials and maximums for such interpretations. We show that KBO is a restricted case of WPO induced by summations, the polynomial order (POLO) is subsumed by WPO induced by polynomials, and the lexicographic path order (LPO) is a restricted case of WPO induced by maximums. By combining these interpretations, we obtain an instance of WPO that unifies KBO, LPO and POLO. We also present SMT encodings of our orders, as well as incorporating them in the dependency pair framework." @default.
- W2045294429 created "2016-06-24" @default.
- W2045294429 creator A5003947273 @default.
- W2045294429 creator A5031676206 @default.
- W2045294429 creator A5034176636 @default.
- W2045294429 date "2013-09-16" @default.
- W2045294429 modified "2023-09-23" @default.
- W2045294429 title "Unifying the Knuth-Bendix, recursive path and polynomial orders" @default.
- W2045294429 cites W1489016793 @default.
- W2045294429 cites W1531034707 @default.
- W2045294429 cites W1629587635 @default.
- W2045294429 cites W19113275 @default.
- W2045294429 cites W2001932052 @default.
- W2045294429 cites W2024390796 @default.
- W2045294429 cites W2041799549 @default.
- W2045294429 cites W2071764772 @default.
- W2045294429 cites W2081479337 @default.
- W2045294429 cites W2086747974 @default.
- W2045294429 cites W2090855107 @default.
- W2045294429 cites W2109883071 @default.
- W2045294429 cites W2134607541 @default.
- W2045294429 cites W2136514805 @default.
- W2045294429 cites W2168096396 @default.
- W2045294429 cites W2507006525 @default.
- W2045294429 cites W2911880377 @default.
- W2045294429 cites W2913313741 @default.
- W2045294429 doi "https://doi.org/10.1145/2505879.2505885" @default.
- W2045294429 hasPublicationYear "2013" @default.
- W2045294429 type Work @default.
- W2045294429 sameAs 2045294429 @default.
- W2045294429 citedByCount "7" @default.
- W2045294429 countsByYear W20452944292013 @default.
- W2045294429 countsByYear W20452944292014 @default.
- W2045294429 countsByYear W20452944292018 @default.
- W2045294429 countsByYear W20452944292020 @default.
- W2045294429 crossrefType "proceedings-article" @default.
- W2045294429 hasAuthorship W2045294429A5003947273 @default.
- W2045294429 hasAuthorship W2045294429A5031676206 @default.
- W2045294429 hasAuthorship W2045294429A5034176636 @default.
- W2045294429 hasBestOaLocation W20452944292 @default.
- W2045294429 hasConcept C10138342 @default.
- W2045294429 hasConcept C114614502 @default.
- W2045294429 hasConcept C118615104 @default.
- W2045294429 hasConcept C134306372 @default.
- W2045294429 hasConcept C154945302 @default.
- W2045294429 hasConcept C159254197 @default.
- W2045294429 hasConcept C162324750 @default.
- W2045294429 hasConcept C182306322 @default.
- W2045294429 hasConcept C19768560 @default.
- W2045294429 hasConcept C199360897 @default.
- W2045294429 hasConcept C2524010 @default.
- W2045294429 hasConcept C2777735758 @default.
- W2045294429 hasConcept C2834757 @default.
- W2045294429 hasConcept C33923547 @default.
- W2045294429 hasConcept C41008148 @default.
- W2045294429 hasConcept C527412718 @default.
- W2045294429 hasConcept C90119067 @default.
- W2045294429 hasConceptScore W2045294429C10138342 @default.
- W2045294429 hasConceptScore W2045294429C114614502 @default.
- W2045294429 hasConceptScore W2045294429C118615104 @default.
- W2045294429 hasConceptScore W2045294429C134306372 @default.
- W2045294429 hasConceptScore W2045294429C154945302 @default.
- W2045294429 hasConceptScore W2045294429C159254197 @default.
- W2045294429 hasConceptScore W2045294429C162324750 @default.
- W2045294429 hasConceptScore W2045294429C182306322 @default.
- W2045294429 hasConceptScore W2045294429C19768560 @default.
- W2045294429 hasConceptScore W2045294429C199360897 @default.
- W2045294429 hasConceptScore W2045294429C2524010 @default.
- W2045294429 hasConceptScore W2045294429C2777735758 @default.
- W2045294429 hasConceptScore W2045294429C2834757 @default.
- W2045294429 hasConceptScore W2045294429C33923547 @default.
- W2045294429 hasConceptScore W2045294429C41008148 @default.
- W2045294429 hasConceptScore W2045294429C527412718 @default.
- W2045294429 hasConceptScore W2045294429C90119067 @default.
- W2045294429 hasFunder F4320334764 @default.
- W2045294429 hasLocation W20452944291 @default.
- W2045294429 hasLocation W20452944292 @default.
- W2045294429 hasOpenAccess W2045294429 @default.
- W2045294429 hasPrimaryLocation W20452944291 @default.
- W2045294429 hasRelatedWork W1997438504 @default.
- W2045294429 hasRelatedWork W2014066291 @default.
- W2045294429 hasRelatedWork W2027482647 @default.
- W2045294429 hasRelatedWork W2287003313 @default.
- W2045294429 hasRelatedWork W2798621907 @default.
- W2045294429 hasRelatedWork W2912160151 @default.
- W2045294429 hasRelatedWork W2951743158 @default.
- W2045294429 hasRelatedWork W2951798542 @default.
- W2045294429 hasRelatedWork W4232993046 @default.
- W2045294429 hasRelatedWork W4300030334 @default.
- W2045294429 isParatext "false" @default.
- W2045294429 isRetracted "false" @default.
- W2045294429 magId "2045294429" @default.
- W2045294429 workType "article" @default.