Matches in SemOpenAlex for { <https://semopenalex.org/work/W33651973> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W33651973 endingPage "214" @default.
- W33651973 startingPage "208" @default.
- W33651973 abstract "The Knuth-Bendix completion procedure was introduced as a means of deriving canonical term-rewriting systems to serve as decision procedures for given equational theories. The procedure generates new rewrite rules to resolve ambiguities resulting from existing rules that overlap. We propose using this procedure to synthesize logic programs, as well as functional programs, from specifications and domain knowledge expressed as equivalence-preserving rewrite rules. An implementation is underway." @default.
- W33651973 created "2016-06-24" @default.
- W33651973 creator A5039993352 @default.
- W33651973 date "1985-08-18" @default.
- W33651973 modified "2023-09-25" @default.
- W33651973 title "Synthesis by completion" @default.
- W33651973 cites W1512556106 @default.
- W33651973 cites W1578088218 @default.
- W33651973 cites W1598625331 @default.
- W33651973 cites W1968386045 @default.
- W33651973 cites W2012436850 @default.
- W33651973 cites W2023299380 @default.
- W33651973 cites W2024390796 @default.
- W33651973 cites W2036748304 @default.
- W33651973 cites W2056016391 @default.
- W33651973 cites W2056168527 @default.
- W33651973 cites W2063080606 @default.
- W33651973 cites W2077592849 @default.
- W33651973 cites W2086747974 @default.
- W33651973 cites W2091210577 @default.
- W33651973 cites W2094945667 @default.
- W33651973 hasPublicationYear "1985" @default.
- W33651973 type Work @default.
- W33651973 sameAs 33651973 @default.
- W33651973 citedByCount "15" @default.
- W33651973 countsByYear W336519732020 @default.
- W33651973 crossrefType "proceedings-article" @default.
- W33651973 hasAuthorship W33651973A5039993352 @default.
- W33651973 hasConcept C11413529 @default.
- W33651973 hasConcept C118615104 @default.
- W33651973 hasConcept C121332964 @default.
- W33651973 hasConcept C128838566 @default.
- W33651973 hasConcept C134306372 @default.
- W33651973 hasConcept C136119220 @default.
- W33651973 hasConcept C154690210 @default.
- W33651973 hasConcept C199360897 @default.
- W33651973 hasConcept C202444582 @default.
- W33651973 hasConcept C2780069185 @default.
- W33651973 hasConcept C29585364 @default.
- W33651973 hasConcept C2987117450 @default.
- W33651973 hasConcept C33923547 @default.
- W33651973 hasConcept C36503486 @default.
- W33651973 hasConcept C41008148 @default.
- W33651973 hasConcept C61797465 @default.
- W33651973 hasConcept C62520636 @default.
- W33651973 hasConcept C80444323 @default.
- W33651973 hasConceptScore W33651973C11413529 @default.
- W33651973 hasConceptScore W33651973C118615104 @default.
- W33651973 hasConceptScore W33651973C121332964 @default.
- W33651973 hasConceptScore W33651973C128838566 @default.
- W33651973 hasConceptScore W33651973C134306372 @default.
- W33651973 hasConceptScore W33651973C136119220 @default.
- W33651973 hasConceptScore W33651973C154690210 @default.
- W33651973 hasConceptScore W33651973C199360897 @default.
- W33651973 hasConceptScore W33651973C202444582 @default.
- W33651973 hasConceptScore W33651973C2780069185 @default.
- W33651973 hasConceptScore W33651973C29585364 @default.
- W33651973 hasConceptScore W33651973C2987117450 @default.
- W33651973 hasConceptScore W33651973C33923547 @default.
- W33651973 hasConceptScore W33651973C36503486 @default.
- W33651973 hasConceptScore W33651973C41008148 @default.
- W33651973 hasConceptScore W33651973C61797465 @default.
- W33651973 hasConceptScore W33651973C62520636 @default.
- W33651973 hasConceptScore W33651973C80444323 @default.
- W33651973 hasLocation W336519731 @default.
- W33651973 hasOpenAccess W33651973 @default.
- W33651973 hasPrimaryLocation W336519731 @default.
- W33651973 hasRelatedWork W1482133761 @default.
- W33651973 hasRelatedWork W1499823109 @default.
- W33651973 hasRelatedWork W1520622188 @default.
- W33651973 hasRelatedWork W1531064309 @default.
- W33651973 hasRelatedWork W1590828018 @default.
- W33651973 hasRelatedWork W1604531826 @default.
- W33651973 hasRelatedWork W1606668967 @default.
- W33651973 hasRelatedWork W1768580032 @default.
- W33651973 hasRelatedWork W1813488719 @default.
- W33651973 hasRelatedWork W1968386045 @default.
- W33651973 hasRelatedWork W1992371661 @default.
- W33651973 hasRelatedWork W2012436850 @default.
- W33651973 hasRelatedWork W2023299380 @default.
- W33651973 hasRelatedWork W2056168527 @default.
- W33651973 hasRelatedWork W2091210577 @default.
- W33651973 hasRelatedWork W2121757274 @default.
- W33651973 hasRelatedWork W2126097543 @default.
- W33651973 hasRelatedWork W2749479972 @default.
- W33651973 hasRelatedWork W2911695802 @default.
- W33651973 hasRelatedWork W94441621 @default.
- W33651973 isParatext "false" @default.
- W33651973 isRetracted "false" @default.
- W33651973 magId "33651973" @default.
- W33651973 workType "article" @default.