Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570994654> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1570994654 endingPage "408" @default.
- W1570994654 startingPage "394" @default.
- W1570994654 abstract "Narrowing is an important method for solving unification problems in equational theories that are presented by confluent term rewriting systems. Because narrowing is a rather complicated operation, several authors studied calculi in which narrowing is replaced by more simple inference rules. This paper is concerned with one such calculus. Contrary to what has been stated in the literature, we show that the calculus lacks strong completeness, so selection functions to cut down the search space are not applicable. We prove completeness of the calculus and we establish an interesting connection between its strong completeness and the completeness of basic narrowing. We also address the eager variable elimination problem. It is known that many redundant derivations can be avoided if the variable elimination rule, one of the inference rules of our calculus, is given precedence over the other inference rules. We prove the completeness of a restricted variant of eager variable elimination in the case of orthogonal term rewriting systems." @default.
- W1570994654 created "2016-06-24" @default.
- W1570994654 creator A5021252264 @default.
- W1570994654 creator A5049118633 @default.
- W1570994654 creator A5051239104 @default.
- W1570994654 date "1995-01-01" @default.
- W1570994654 modified "2023-09-30" @default.
- W1570994654 title "Lazy narrowing: Strong completeness and eager variable elimination (extended abstract)" @default.
- W1570994654 cites W1497857623 @default.
- W1570994654 cites W1588352680 @default.
- W1570994654 cites W2014030742 @default.
- W1570994654 cites W2031825596 @default.
- W1570994654 cites W2048748607 @default.
- W1570994654 cites W2059799630 @default.
- W1570994654 cites W2065794924 @default.
- W1570994654 cites W2106105719 @default.
- W1570994654 cites W2113722134 @default.
- W1570994654 cites W3022794709 @default.
- W1570994654 doi "https://doi.org/10.1007/3-540-59293-8_209" @default.
- W1570994654 hasPublicationYear "1995" @default.
- W1570994654 type Work @default.
- W1570994654 sameAs 1570994654 @default.
- W1570994654 citedByCount "3" @default.
- W1570994654 crossrefType "book-chapter" @default.
- W1570994654 hasAuthorship W1570994654A5021252264 @default.
- W1570994654 hasAuthorship W1570994654A5049118633 @default.
- W1570994654 hasAuthorship W1570994654A5051239104 @default.
- W1570994654 hasBestOaLocation W15709946541 @default.
- W1570994654 hasConcept C111472728 @default.
- W1570994654 hasConcept C121332964 @default.
- W1570994654 hasConcept C134306372 @default.
- W1570994654 hasConcept C136119220 @default.
- W1570994654 hasConcept C138885662 @default.
- W1570994654 hasConcept C154690210 @default.
- W1570994654 hasConcept C154945302 @default.
- W1570994654 hasConcept C169272836 @default.
- W1570994654 hasConcept C17231256 @default.
- W1570994654 hasConcept C182365436 @default.
- W1570994654 hasConcept C199343813 @default.
- W1570994654 hasConcept C199360897 @default.
- W1570994654 hasConcept C202444582 @default.
- W1570994654 hasConcept C2776214188 @default.
- W1570994654 hasConcept C2777686260 @default.
- W1570994654 hasConcept C2780586882 @default.
- W1570994654 hasConcept C33923547 @default.
- W1570994654 hasConcept C3746660 @default.
- W1570994654 hasConcept C41008148 @default.
- W1570994654 hasConcept C61797465 @default.
- W1570994654 hasConcept C62073222 @default.
- W1570994654 hasConcept C62520636 @default.
- W1570994654 hasConcept C6489637 @default.
- W1570994654 hasConcept C71924100 @default.
- W1570994654 hasConcept C96146094 @default.
- W1570994654 hasConceptScore W1570994654C111472728 @default.
- W1570994654 hasConceptScore W1570994654C121332964 @default.
- W1570994654 hasConceptScore W1570994654C134306372 @default.
- W1570994654 hasConceptScore W1570994654C136119220 @default.
- W1570994654 hasConceptScore W1570994654C138885662 @default.
- W1570994654 hasConceptScore W1570994654C154690210 @default.
- W1570994654 hasConceptScore W1570994654C154945302 @default.
- W1570994654 hasConceptScore W1570994654C169272836 @default.
- W1570994654 hasConceptScore W1570994654C17231256 @default.
- W1570994654 hasConceptScore W1570994654C182365436 @default.
- W1570994654 hasConceptScore W1570994654C199343813 @default.
- W1570994654 hasConceptScore W1570994654C199360897 @default.
- W1570994654 hasConceptScore W1570994654C202444582 @default.
- W1570994654 hasConceptScore W1570994654C2776214188 @default.
- W1570994654 hasConceptScore W1570994654C2777686260 @default.
- W1570994654 hasConceptScore W1570994654C2780586882 @default.
- W1570994654 hasConceptScore W1570994654C33923547 @default.
- W1570994654 hasConceptScore W1570994654C3746660 @default.
- W1570994654 hasConceptScore W1570994654C41008148 @default.
- W1570994654 hasConceptScore W1570994654C61797465 @default.
- W1570994654 hasConceptScore W1570994654C62073222 @default.
- W1570994654 hasConceptScore W1570994654C62520636 @default.
- W1570994654 hasConceptScore W1570994654C6489637 @default.
- W1570994654 hasConceptScore W1570994654C71924100 @default.
- W1570994654 hasConceptScore W1570994654C96146094 @default.
- W1570994654 hasLocation W15709946541 @default.
- W1570994654 hasOpenAccess W1570994654 @default.
- W1570994654 hasPrimaryLocation W15709946541 @default.
- W1570994654 hasRelatedWork W1505944620 @default.
- W1570994654 hasRelatedWork W1507200611 @default.
- W1570994654 hasRelatedWork W1510883375 @default.
- W1570994654 hasRelatedWork W1568209622 @default.
- W1570994654 hasRelatedWork W1570994654 @default.
- W1570994654 hasRelatedWork W2001583856 @default.
- W1570994654 hasRelatedWork W2091355188 @default.
- W1570994654 hasRelatedWork W2091448415 @default.
- W1570994654 hasRelatedWork W2138364864 @default.
- W1570994654 hasRelatedWork W2389523986 @default.
- W1570994654 isParatext "false" @default.
- W1570994654 isRetracted "false" @default.
- W1570994654 magId "1570994654" @default.
- W1570994654 workType "book-chapter" @default.