Matches in SemOpenAlex for { <https://semopenalex.org/work/W1546861750> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1546861750 abstract "We investigate a special narrowing strategy, called outer narrowing, for the purpose of generating complete sets of E-unifiers and E-matchers in equational theories that can be described by a constructor-based term rewriting system. Two results are presented. It is shown that every narrowing derivation in this class is subsumed by an outer narrowing derivation. This result is applied to a matching problem in equational theories, i.e., whether an arbitrary term is E-matchable to a term composed of constructors and a disjoint set of variables. It is shown that outer narrowing yields a procedure that can generate complete sets of minimal E-matchers for this matching problem." @default.
- W1546861750 created "2016-06-24" @default.
- W1546861750 creator A5072151614 @default.
- W1546861750 date "1988-01-01" @default.
- W1546861750 modified "2023-09-26" @default.
- W1546861750 title "Outer narrowing for equational theories based on constructors" @default.
- W1546861750 cites W1485909121 @default.
- W1546861750 cites W1538694434 @default.
- W1546861750 cites W1596011221 @default.
- W1546861750 cites W1598625331 @default.
- W1546861750 cites W1753591354 @default.
- W1546861750 cites W1981269662 @default.
- W1546861750 cites W2010152469 @default.
- W1546861750 cites W2034034435 @default.
- W1546861750 cites W2036748304 @default.
- W1546861750 cites W2048748607 @default.
- W1546861750 cites W2085946842 @default.
- W1546861750 cites W2091210577 @default.
- W1546861750 cites W2092386169 @default.
- W1546861750 cites W2094945667 @default.
- W1546861750 cites W2113722134 @default.
- W1546861750 cites W3105971546 @default.
- W1546861750 cites W4211019237 @default.
- W1546861750 cites W4252390666 @default.
- W1546861750 doi "https://doi.org/10.1007/3-540-19488-6_153" @default.
- W1546861750 hasPublicationYear "1988" @default.
- W1546861750 type Work @default.
- W1546861750 sameAs 1546861750 @default.
- W1546861750 citedByCount "3" @default.
- W1546861750 crossrefType "book-chapter" @default.
- W1546861750 hasAuthorship W1546861750A5072151614 @default.
- W1546861750 hasConcept C105795698 @default.
- W1546861750 hasConcept C11413529 @default.
- W1546861750 hasConcept C118615104 @default.
- W1546861750 hasConcept C121332964 @default.
- W1546861750 hasConcept C136119220 @default.
- W1546861750 hasConcept C154690210 @default.
- W1546861750 hasConcept C154945302 @default.
- W1546861750 hasConcept C165064840 @default.
- W1546861750 hasConcept C177264268 @default.
- W1546861750 hasConcept C199360897 @default.
- W1546861750 hasConcept C202444582 @default.
- W1546861750 hasConcept C2777212361 @default.
- W1546861750 hasConcept C33923547 @default.
- W1546861750 hasConcept C41008148 @default.
- W1546861750 hasConcept C45340560 @default.
- W1546861750 hasConcept C61797465 @default.
- W1546861750 hasConcept C62520636 @default.
- W1546861750 hasConceptScore W1546861750C105795698 @default.
- W1546861750 hasConceptScore W1546861750C11413529 @default.
- W1546861750 hasConceptScore W1546861750C118615104 @default.
- W1546861750 hasConceptScore W1546861750C121332964 @default.
- W1546861750 hasConceptScore W1546861750C136119220 @default.
- W1546861750 hasConceptScore W1546861750C154690210 @default.
- W1546861750 hasConceptScore W1546861750C154945302 @default.
- W1546861750 hasConceptScore W1546861750C165064840 @default.
- W1546861750 hasConceptScore W1546861750C177264268 @default.
- W1546861750 hasConceptScore W1546861750C199360897 @default.
- W1546861750 hasConceptScore W1546861750C202444582 @default.
- W1546861750 hasConceptScore W1546861750C2777212361 @default.
- W1546861750 hasConceptScore W1546861750C33923547 @default.
- W1546861750 hasConceptScore W1546861750C41008148 @default.
- W1546861750 hasConceptScore W1546861750C45340560 @default.
- W1546861750 hasConceptScore W1546861750C61797465 @default.
- W1546861750 hasConceptScore W1546861750C62520636 @default.
- W1546861750 hasLocation W15468617501 @default.
- W1546861750 hasOpenAccess W1546861750 @default.
- W1546861750 hasPrimaryLocation W15468617501 @default.
- W1546861750 hasRelatedWork W100098737 @default.
- W1546861750 hasRelatedWork W1480465948 @default.
- W1546861750 hasRelatedWork W1510057365 @default.
- W1546861750 hasRelatedWork W1513315908 @default.
- W1546861750 hasRelatedWork W1547751563 @default.
- W1546861750 hasRelatedWork W1551053236 @default.
- W1546861750 hasRelatedWork W155273981 @default.
- W1546861750 hasRelatedWork W1595593791 @default.
- W1546861750 hasRelatedWork W1598625331 @default.
- W1546861750 hasRelatedWork W1981269662 @default.
- W1546861750 hasRelatedWork W1992371661 @default.
- W1546861750 hasRelatedWork W2082354652 @default.
- W1546861750 hasRelatedWork W2087458172 @default.
- W1546861750 hasRelatedWork W2164767950 @default.
- W1546861750 hasRelatedWork W2294307095 @default.
- W1546861750 hasRelatedWork W2294882755 @default.
- W1546861750 hasRelatedWork W2954069943 @default.
- W1546861750 hasRelatedWork W3101717152 @default.
- W1546861750 hasRelatedWork W3121945794 @default.
- W1546861750 hasRelatedWork W1606787349 @default.
- W1546861750 isParatext "false" @default.
- W1546861750 isRetracted "false" @default.
- W1546861750 magId "1546861750" @default.
- W1546861750 workType "book-chapter" @default.