Matches in SemOpenAlex for { <https://semopenalex.org/work/W644351654> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W644351654 abstract "In this paper we present a generalization of the Knuth-Bendix procedure for generating a complete set of reductions modulo an equational theory. Previous such completion procedures have been restricted to equational theories which generate finite congruence classes. The distinguishing feature of this work is that we are able to generate complete sets of reductions for some equational theories which generate infinite congruence classes. In particular, we are able to handle the class of equational theories which contain the associative, commutative, and identity laws for one or more operators.We first generalize the notion of rewriting modulo an equational theory to include a special form of conditional reduction. We are able to show that this conditional rewriting relation restores the finite termination property which is often lost when rewriting in the presence of infinite congruence classes. We then develop Church-Rosser tests based on the conditional rewriting relation and set forth a completion procedure incorporating these tests. Finally, we describe a computer program which implements the theory and give the results of several experiments using the program." @default.
- W644351654 created "2016-06-24" @default.
- W644351654 creator A5039850879 @default.
- W644351654 creator A5076165146 @default.
- W644351654 date "1988-01-01" @default.
- W644351654 modified "2023-09-27" @default.
- W644351654 title "Complete sets of reductions modulo a class of equational theories which generate infinite congruence classes" @default.
- W644351654 cites W1523315298 @default.
- W644351654 cites W1600322695 @default.
- W644351654 cites W1991856459 @default.
- W644351654 cites W2013434344 @default.
- W644351654 cites W2042924775 @default.
- W644351654 cites W2056016391 @default.
- W644351654 cites W2058514808 @default.
- W644351654 cites W2100738443 @default.
- W644351654 cites W2113547509 @default.
- W644351654 cites W2136701715 @default.
- W644351654 cites W2167316540 @default.
- W644351654 hasPublicationYear "1988" @default.
- W644351654 type Work @default.
- W644351654 sameAs 644351654 @default.
- W644351654 citedByCount "1" @default.
- W644351654 crossrefType "journal-article" @default.
- W644351654 hasAuthorship W644351654A5039850879 @default.
- W644351654 hasAuthorship W644351654A5076165146 @default.
- W644351654 hasConcept C118615104 @default.
- W644351654 hasConcept C132074034 @default.
- W644351654 hasConcept C134306372 @default.
- W644351654 hasConcept C136119220 @default.
- W644351654 hasConcept C154690210 @default.
- W644351654 hasConcept C154945302 @default.
- W644351654 hasConcept C159423971 @default.
- W644351654 hasConcept C177148314 @default.
- W644351654 hasConcept C183778304 @default.
- W644351654 hasConcept C199360897 @default.
- W644351654 hasConcept C202444582 @default.
- W644351654 hasConcept C2524010 @default.
- W644351654 hasConcept C2777212361 @default.
- W644351654 hasConcept C33923547 @default.
- W644351654 hasConcept C41008148 @default.
- W644351654 hasConcept C54732982 @default.
- W644351654 hasConcept C9973445 @default.
- W644351654 hasConceptScore W644351654C118615104 @default.
- W644351654 hasConceptScore W644351654C132074034 @default.
- W644351654 hasConceptScore W644351654C134306372 @default.
- W644351654 hasConceptScore W644351654C136119220 @default.
- W644351654 hasConceptScore W644351654C154690210 @default.
- W644351654 hasConceptScore W644351654C154945302 @default.
- W644351654 hasConceptScore W644351654C159423971 @default.
- W644351654 hasConceptScore W644351654C177148314 @default.
- W644351654 hasConceptScore W644351654C183778304 @default.
- W644351654 hasConceptScore W644351654C199360897 @default.
- W644351654 hasConceptScore W644351654C202444582 @default.
- W644351654 hasConceptScore W644351654C2524010 @default.
- W644351654 hasConceptScore W644351654C2777212361 @default.
- W644351654 hasConceptScore W644351654C33923547 @default.
- W644351654 hasConceptScore W644351654C41008148 @default.
- W644351654 hasConceptScore W644351654C54732982 @default.
- W644351654 hasConceptScore W644351654C9973445 @default.
- W644351654 hasLocation W6443516541 @default.
- W644351654 hasOpenAccess W644351654 @default.
- W644351654 hasPrimaryLocation W6443516541 @default.
- W644351654 hasRelatedWork W1497459893 @default.
- W644351654 hasRelatedWork W1521061310 @default.
- W644351654 hasRelatedWork W1536234924 @default.
- W644351654 hasRelatedWork W1577182708 @default.
- W644351654 hasRelatedWork W1590378845 @default.
- W644351654 hasRelatedWork W1602903463 @default.
- W644351654 hasRelatedWork W1723526129 @default.
- W644351654 hasRelatedWork W1893656251 @default.
- W644351654 hasRelatedWork W1963677040 @default.
- W644351654 hasRelatedWork W1967670817 @default.
- W644351654 hasRelatedWork W1976451429 @default.
- W644351654 hasRelatedWork W2117417945 @default.
- W644351654 hasRelatedWork W2142965225 @default.
- W644351654 hasRelatedWork W2180920399 @default.
- W644351654 hasRelatedWork W2202030908 @default.
- W644351654 hasRelatedWork W2578752697 @default.
- W644351654 hasRelatedWork W2963330594 @default.
- W644351654 hasRelatedWork W3007940027 @default.
- W644351654 hasRelatedWork W315722051 @default.
- W644351654 hasRelatedWork W3204542949 @default.
- W644351654 isParatext "false" @default.
- W644351654 isRetracted "false" @default.
- W644351654 magId "644351654" @default.
- W644351654 workType "article" @default.