Matches in SemOpenAlex for { <https://semopenalex.org/work/W1843283220> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1843283220 endingPage "130" @default.
- W1843283220 startingPage "111" @default.
- W1843283220 abstract "Deterministic conditional rewrite systems are interesting because they permit extra variables on the right-hand sides of the rules. If such a system is quasi-reductive, then it is terminating and has a computable rewrite relation. It will be shown that every deterministic CTRS R can be transformed into an unconditional TRS U(R) such that termination of U(R) implies quasi-reductivity of R. The main theorem states that quasi-reductivity of R implies innermost termination of U(R). These results have interesting applications in two different areas: modularity in term rewriting and termination proofs of well-moded logic programs." @default.
- W1843283220 created "2016-06-24" @default.
- W1843283220 creator A5090763399 @default.
- W1843283220 date "1999-01-01" @default.
- W1843283220 modified "2023-09-25" @default.
- W1843283220 title "Transforming Conditional Rewrite Systems with Extra Variables into Unconditional Systems" @default.
- W1843283220 cites W1480168175 @default.
- W1843283220 cites W1489240819 @default.
- W1843283220 cites W1500422303 @default.
- W1843283220 cites W1506491404 @default.
- W1843283220 cites W1514627950 @default.
- W1843283220 cites W1542124543 @default.
- W1843283220 cites W1573332872 @default.
- W1843283220 cites W1587116809 @default.
- W1843283220 cites W1591642134 @default.
- W1843283220 cites W1595402260 @default.
- W1843283220 cites W1596413407 @default.
- W1843283220 cites W1603482629 @default.
- W1843283220 cites W1933182892 @default.
- W1843283220 cites W1999453716 @default.
- W1843283220 cites W2005502744 @default.
- W1843283220 cites W2009286786 @default.
- W1843283220 cites W2059799630 @default.
- W1843283220 cites W2078222019 @default.
- W1843283220 cites W2093199226 @default.
- W1843283220 cites W2118172707 @default.
- W1843283220 cites W2167316540 @default.
- W1843283220 cites W4230919050 @default.
- W1843283220 doi "https://doi.org/10.1007/3-540-48242-3_8" @default.
- W1843283220 hasPublicationYear "1999" @default.
- W1843283220 type Work @default.
- W1843283220 sameAs 1843283220 @default.
- W1843283220 citedByCount "14" @default.
- W1843283220 countsByYear W18432832202014 @default.
- W1843283220 countsByYear W18432832202015 @default.
- W1843283220 countsByYear W18432832202018 @default.
- W1843283220 countsByYear W18432832202020 @default.
- W1843283220 crossrefType "book-chapter" @default.
- W1843283220 hasAuthorship W1843283220A5090763399 @default.
- W1843283220 hasConcept C108710211 @default.
- W1843283220 hasConcept C118615104 @default.
- W1843283220 hasConcept C121332964 @default.
- W1843283220 hasConcept C136119220 @default.
- W1843283220 hasConcept C154690210 @default.
- W1843283220 hasConcept C199360897 @default.
- W1843283220 hasConcept C202444582 @default.
- W1843283220 hasConcept C2524010 @default.
- W1843283220 hasConcept C25343380 @default.
- W1843283220 hasConcept C2778029271 @default.
- W1843283220 hasConcept C2779478453 @default.
- W1843283220 hasConcept C31314021 @default.
- W1843283220 hasConcept C33923547 @default.
- W1843283220 hasConcept C41008148 @default.
- W1843283220 hasConcept C54355233 @default.
- W1843283220 hasConcept C61797465 @default.
- W1843283220 hasConcept C62520636 @default.
- W1843283220 hasConcept C77088390 @default.
- W1843283220 hasConcept C77906462 @default.
- W1843283220 hasConcept C86803240 @default.
- W1843283220 hasConceptScore W1843283220C108710211 @default.
- W1843283220 hasConceptScore W1843283220C118615104 @default.
- W1843283220 hasConceptScore W1843283220C121332964 @default.
- W1843283220 hasConceptScore W1843283220C136119220 @default.
- W1843283220 hasConceptScore W1843283220C154690210 @default.
- W1843283220 hasConceptScore W1843283220C199360897 @default.
- W1843283220 hasConceptScore W1843283220C202444582 @default.
- W1843283220 hasConceptScore W1843283220C2524010 @default.
- W1843283220 hasConceptScore W1843283220C25343380 @default.
- W1843283220 hasConceptScore W1843283220C2778029271 @default.
- W1843283220 hasConceptScore W1843283220C2779478453 @default.
- W1843283220 hasConceptScore W1843283220C31314021 @default.
- W1843283220 hasConceptScore W1843283220C33923547 @default.
- W1843283220 hasConceptScore W1843283220C41008148 @default.
- W1843283220 hasConceptScore W1843283220C54355233 @default.
- W1843283220 hasConceptScore W1843283220C61797465 @default.
- W1843283220 hasConceptScore W1843283220C62520636 @default.
- W1843283220 hasConceptScore W1843283220C77088390 @default.
- W1843283220 hasConceptScore W1843283220C77906462 @default.
- W1843283220 hasConceptScore W1843283220C86803240 @default.
- W1843283220 hasLocation W18432832201 @default.
- W1843283220 hasOpenAccess W1843283220 @default.
- W1843283220 hasPrimaryLocation W18432832201 @default.
- W1843283220 hasRelatedWork W1506205964 @default.
- W1843283220 hasRelatedWork W1515515243 @default.
- W1843283220 hasRelatedWork W2090855107 @default.
- W1843283220 hasRelatedWork W2158205039 @default.
- W1843283220 hasRelatedWork W2407690295 @default.
- W1843283220 hasRelatedWork W2810978436 @default.
- W1843283220 hasRelatedWork W304101047 @default.
- W1843283220 hasRelatedWork W335827838 @default.
- W1843283220 hasRelatedWork W588210614 @default.
- W1843283220 hasRelatedWork W2583732129 @default.
- W1843283220 isParatext "false" @default.
- W1843283220 isRetracted "false" @default.
- W1843283220 magId "1843283220" @default.
- W1843283220 workType "book-chapter" @default.