Matches in SemOpenAlex for { <https://semopenalex.org/work/W2030670114> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2030670114 endingPage "328" @default.
- W2030670114 startingPage "325" @default.
- W2030670114 abstract "A term rewriting system compiler can greatly improve the execution speed of reductions by transforming rewriting rules into target code. In this report, we present a new application of the term rewriting system compiler: the Knuth-Bendix completion algorithm. The compiling technique proposed in this algorithm, is dynamic in the sense that rewriting rules are repeatedly compiled in the completion process. The execution time of the completion with dynamic compiling is ten or more times as fast as that obtained with a traditional term rewriting system interpreter." @default.
- W2030670114 created "2016-06-24" @default.
- W2030670114 creator A5008183055 @default.
- W2030670114 date "1989-10-01" @default.
- W2030670114 modified "2023-09-27" @default.
- W2030670114 title "Fast Knuth-Bendix completion with a term rewriting system compiler" @default.
- W2030670114 cites W1480729609 @default.
- W2030670114 cites W1531781692 @default.
- W2030670114 cites W1539274846 @default.
- W2030670114 cites W1593511312 @default.
- W2030670114 cites W1598625331 @default.
- W2030670114 cites W1968386045 @default.
- W2030670114 cites W2087060298 @default.
- W2030670114 cites W2091210577 @default.
- W2030670114 cites W2579709878 @default.
- W2030670114 doi "https://doi.org/10.1016/0020-0190(89)90026-4" @default.
- W2030670114 hasPublicationYear "1989" @default.
- W2030670114 type Work @default.
- W2030670114 sameAs 2030670114 @default.
- W2030670114 citedByCount "2" @default.
- W2030670114 crossrefType "journal-article" @default.
- W2030670114 hasAuthorship W2030670114A5008183055 @default.
- W2030670114 hasConcept C11413529 @default.
- W2030670114 hasConcept C121332964 @default.
- W2030670114 hasConcept C122783720 @default.
- W2030670114 hasConcept C154690210 @default.
- W2030670114 hasConcept C169590947 @default.
- W2030670114 hasConcept C173608175 @default.
- W2030670114 hasConcept C199360897 @default.
- W2030670114 hasConcept C2778361913 @default.
- W2030670114 hasConcept C41008148 @default.
- W2030670114 hasConcept C61797465 @default.
- W2030670114 hasConcept C62520636 @default.
- W2030670114 hasConcept C77906462 @default.
- W2030670114 hasConceptScore W2030670114C11413529 @default.
- W2030670114 hasConceptScore W2030670114C121332964 @default.
- W2030670114 hasConceptScore W2030670114C122783720 @default.
- W2030670114 hasConceptScore W2030670114C154690210 @default.
- W2030670114 hasConceptScore W2030670114C169590947 @default.
- W2030670114 hasConceptScore W2030670114C173608175 @default.
- W2030670114 hasConceptScore W2030670114C199360897 @default.
- W2030670114 hasConceptScore W2030670114C2778361913 @default.
- W2030670114 hasConceptScore W2030670114C41008148 @default.
- W2030670114 hasConceptScore W2030670114C61797465 @default.
- W2030670114 hasConceptScore W2030670114C62520636 @default.
- W2030670114 hasConceptScore W2030670114C77906462 @default.
- W2030670114 hasIssue "6" @default.
- W2030670114 hasLocation W20306701141 @default.
- W2030670114 hasOpenAccess W2030670114 @default.
- W2030670114 hasPrimaryLocation W20306701141 @default.
- W2030670114 hasRelatedWork W1558871923 @default.
- W2030670114 hasRelatedWork W1593511312 @default.
- W2030670114 hasRelatedWork W1608659702 @default.
- W2030670114 hasRelatedWork W2030670114 @default.
- W2030670114 hasRelatedWork W2030762481 @default.
- W2030670114 hasRelatedWork W2998595860 @default.
- W2030670114 hasRelatedWork W3216505162 @default.
- W2030670114 hasRelatedWork W4245681215 @default.
- W2030670114 hasRelatedWork W4251805752 @default.
- W2030670114 hasRelatedWork W2467097043 @default.
- W2030670114 hasVolume "32" @default.
- W2030670114 isParatext "false" @default.
- W2030670114 isRetracted "false" @default.
- W2030670114 magId "2030670114" @default.
- W2030670114 workType "article" @default.