Matches in SemOpenAlex for { <https://semopenalex.org/work/W263209600> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W263209600 abstract "The relationship between several simplification orderings is investigated: PSO, RPO, RDO. RDO is improved in order to deal with more pairs of terms, and made more efficient and easy to handle, by removing useless computations." @default.
- W263209600 created "2016-06-24" @default.
- W263209600 creator A5010375037 @default.
- W263209600 date "1985-01-01" @default.
- W263209600 modified "2023-09-27" @default.
- W263209600 title "Path of subterms ordering and recursive decomposition ordering revisited" @default.
- W263209600 cites W2054939514 @default.
- W263209600 cites W2090541423 @default.
- W263209600 doi "https://doi.org/10.1007/3-540-15976-2_10" @default.
- W263209600 hasPublicationYear "1985" @default.
- W263209600 type Work @default.
- W263209600 sameAs 263209600 @default.
- W263209600 citedByCount "6" @default.
- W263209600 crossrefType "book-chapter" @default.
- W263209600 hasAuthorship W263209600A5010375037 @default.
- W263209600 hasConcept C10138342 @default.
- W263209600 hasConcept C11413529 @default.
- W263209600 hasConcept C124681953 @default.
- W263209600 hasConcept C126255220 @default.
- W263209600 hasConcept C162324750 @default.
- W263209600 hasConcept C173608175 @default.
- W263209600 hasConcept C182306322 @default.
- W263209600 hasConcept C18903297 @default.
- W263209600 hasConcept C199360897 @default.
- W263209600 hasConcept C2777735758 @default.
- W263209600 hasConcept C33923547 @default.
- W263209600 hasConcept C41008148 @default.
- W263209600 hasConcept C45374587 @default.
- W263209600 hasConcept C86803240 @default.
- W263209600 hasConceptScore W263209600C10138342 @default.
- W263209600 hasConceptScore W263209600C11413529 @default.
- W263209600 hasConceptScore W263209600C124681953 @default.
- W263209600 hasConceptScore W263209600C126255220 @default.
- W263209600 hasConceptScore W263209600C162324750 @default.
- W263209600 hasConceptScore W263209600C173608175 @default.
- W263209600 hasConceptScore W263209600C182306322 @default.
- W263209600 hasConceptScore W263209600C18903297 @default.
- W263209600 hasConceptScore W263209600C199360897 @default.
- W263209600 hasConceptScore W263209600C2777735758 @default.
- W263209600 hasConceptScore W263209600C33923547 @default.
- W263209600 hasConceptScore W263209600C41008148 @default.
- W263209600 hasConceptScore W263209600C45374587 @default.
- W263209600 hasConceptScore W263209600C86803240 @default.
- W263209600 hasLocation W2632096001 @default.
- W263209600 hasOpenAccess W263209600 @default.
- W263209600 hasPrimaryLocation W2632096001 @default.
- W263209600 hasRelatedWork W1551161061 @default.
- W263209600 hasRelatedWork W1568562702 @default.
- W263209600 hasRelatedWork W1598625331 @default.
- W263209600 hasRelatedWork W1839762302 @default.
- W263209600 hasRelatedWork W196782186 @default.
- W263209600 hasRelatedWork W1968386045 @default.
- W263209600 hasRelatedWork W1979752020 @default.
- W263209600 hasRelatedWork W1990723029 @default.
- W263209600 hasRelatedWork W1999630397 @default.
- W263209600 hasRelatedWork W2015415966 @default.
- W263209600 hasRelatedWork W2020768662 @default.
- W263209600 hasRelatedWork W2086747974 @default.
- W263209600 hasRelatedWork W2121361091 @default.
- W263209600 hasRelatedWork W2126082568 @default.
- W263209600 hasRelatedWork W220116126 @default.
- W263209600 hasRelatedWork W2416021645 @default.
- W263209600 hasRelatedWork W2561777323 @default.
- W263209600 hasRelatedWork W49367632 @default.
- W263209600 hasRelatedWork W2360245410 @default.
- W263209600 hasRelatedWork W279924633 @default.
- W263209600 isParatext "false" @default.
- W263209600 isRetracted "false" @default.
- W263209600 magId "263209600" @default.
- W263209600 workType "book-chapter" @default.