Matches in SemOpenAlex for { <https://semopenalex.org/work/W1577544887> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1577544887 endingPage "371" @default.
- W1577544887 startingPage "359" @default.
- W1577544887 abstract "Term rewriting technique is one of basic deduction tools in algebraic and logic programming. Computing the normal forms of terms is the fundamental step. In this paper, we design several strategies for term rewriting systems. We divide non-ambiguous and left-linear term rewriting systems into three subclasses: variable-more, variable-equal, and variable-fewer, and propose optimal strategies for the two former subclasses and an approximate strategy for the last one. Optimal strategies are the strategies that are guaranteed to generate the shortest rewriting derivations. Finally, we prove that in general, optimal rewriting strategies do not exist unless P = N P even if we assume that we are given canonical term rewriting systems.KeywordsNormal FormLogic ProgrammingDerivation StepElement SubsetLogic Programming LanguageThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1577544887 created "2016-06-24" @default.
- W1577544887 creator A5017100408 @default.
- W1577544887 date "1990-01-01" @default.
- W1577544887 modified "2023-10-15" @default.
- W1577544887 title "Optimization of rewriting and complexity of rewriting" @default.
- W1577544887 cites W1521769596 @default.
- W1577544887 cites W1598625331 @default.
- W1577544887 cites W2042924775 @default.
- W1577544887 cites W2121757274 @default.
- W1577544887 cites W2153146517 @default.
- W1577544887 cites W2507006525 @default.
- W1577544887 doi "https://doi.org/10.1007/3-540-53162-9_51" @default.
- W1577544887 hasPublicationYear "1990" @default.
- W1577544887 type Work @default.
- W1577544887 sameAs 1577544887 @default.
- W1577544887 citedByCount "0" @default.
- W1577544887 crossrefType "book-chapter" @default.
- W1577544887 hasAuthorship W1577544887A5017100408 @default.
- W1577544887 hasConcept C11413529 @default.
- W1577544887 hasConcept C121332964 @default.
- W1577544887 hasConcept C134306372 @default.
- W1577544887 hasConcept C136119220 @default.
- W1577544887 hasConcept C154690210 @default.
- W1577544887 hasConcept C182365436 @default.
- W1577544887 hasConcept C199360897 @default.
- W1577544887 hasConcept C202444582 @default.
- W1577544887 hasConcept C33923547 @default.
- W1577544887 hasConcept C41008148 @default.
- W1577544887 hasConcept C61797465 @default.
- W1577544887 hasConcept C62520636 @default.
- W1577544887 hasConcept C77906462 @default.
- W1577544887 hasConcept C80444323 @default.
- W1577544887 hasConcept C9376300 @default.
- W1577544887 hasConceptScore W1577544887C11413529 @default.
- W1577544887 hasConceptScore W1577544887C121332964 @default.
- W1577544887 hasConceptScore W1577544887C134306372 @default.
- W1577544887 hasConceptScore W1577544887C136119220 @default.
- W1577544887 hasConceptScore W1577544887C154690210 @default.
- W1577544887 hasConceptScore W1577544887C182365436 @default.
- W1577544887 hasConceptScore W1577544887C199360897 @default.
- W1577544887 hasConceptScore W1577544887C202444582 @default.
- W1577544887 hasConceptScore W1577544887C33923547 @default.
- W1577544887 hasConceptScore W1577544887C41008148 @default.
- W1577544887 hasConceptScore W1577544887C61797465 @default.
- W1577544887 hasConceptScore W1577544887C62520636 @default.
- W1577544887 hasConceptScore W1577544887C77906462 @default.
- W1577544887 hasConceptScore W1577544887C80444323 @default.
- W1577544887 hasConceptScore W1577544887C9376300 @default.
- W1577544887 hasLocation W15775448871 @default.
- W1577544887 hasOpenAccess W1577544887 @default.
- W1577544887 hasPrimaryLocation W15775448871 @default.
- W1577544887 hasRelatedWork W1500649746 @default.
- W1577544887 hasRelatedWork W1533534652 @default.
- W1577544887 hasRelatedWork W1567354447 @default.
- W1577544887 hasRelatedWork W1573537275 @default.
- W1577544887 hasRelatedWork W1590056785 @default.
- W1577544887 hasRelatedWork W1636139685 @default.
- W1577544887 hasRelatedWork W1926073124 @default.
- W1577544887 hasRelatedWork W1980046290 @default.
- W1577544887 hasRelatedWork W2047973569 @default.
- W1577544887 hasRelatedWork W2053867970 @default.
- W1577544887 hasRelatedWork W2057080313 @default.
- W1577544887 hasRelatedWork W2159030264 @default.
- W1577544887 hasRelatedWork W2203094948 @default.
- W1577544887 hasRelatedWork W2740875086 @default.
- W1577544887 hasRelatedWork W2953354833 @default.
- W1577544887 hasRelatedWork W2975211285 @default.
- W1577544887 hasRelatedWork W2979224626 @default.
- W1577544887 hasRelatedWork W572432674 @default.
- W1577544887 hasRelatedWork W8727156 @default.
- W1577544887 hasRelatedWork W1258827811 @default.
- W1577544887 isParatext "false" @default.
- W1577544887 isRetracted "false" @default.
- W1577544887 magId "1577544887" @default.
- W1577544887 workType "book-chapter" @default.