Matches in SemOpenAlex for { <https://semopenalex.org/work/W2083977009> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2083977009 endingPage "349" @default.
- W2083977009 startingPage "329" @default.
- W2083977009 abstract "In this paper we describe a new class of orderings— associative path orderings —for proving termination of associative-commutative term rewriting systems .These orderings are based on the concept of simplification orderings and extend the well-known recursive path orderings to E - congruence classes, where E is an equational theory consisting of associativity and commutativity axioms. Associative path orderings are applicable to term rewriting systems for which a precedence ordering on the set of operator symbols can be defined that satisfies a certain condition,the associative path condition . The precedence ordering can often be derived from the structure of the reduction rules. We include termination proofs for various term rewriting systems (for rings,boolean algebra,etc.) and, in addition, point out ways to handle situations where the associative path condition is too restrictive." @default.
- W2083977009 created "2016-06-24" @default.
- W2083977009 creator A5019821870 @default.
- W2083977009 creator A5090703131 @default.
- W2083977009 date "1985-12-01" @default.
- W2083977009 modified "2023-09-29" @default.
- W2083977009 title "Termination orderings for associative-commutative rewriting systems" @default.
- W2083977009 cites W1979101142 @default.
- W2083977009 cites W1999927144 @default.
- W2083977009 cites W2014030742 @default.
- W2083977009 cites W2015874281 @default.
- W2083977009 cites W2019751493 @default.
- W2083977009 cites W2056016391 @default.
- W2083977009 cites W2086747974 @default.
- W2083977009 cites W2091210577 @default.
- W2083977009 doi "https://doi.org/10.1016/s0747-7171(85)80019-5" @default.
- W2083977009 hasPublicationYear "1985" @default.
- W2083977009 type Work @default.
- W2083977009 sameAs 2083977009 @default.
- W2083977009 citedByCount "81" @default.
- W2083977009 countsByYear W20839770092013 @default.
- W2083977009 countsByYear W20839770092014 @default.
- W2083977009 countsByYear W20839770092015 @default.
- W2083977009 countsByYear W20839770092016 @default.
- W2083977009 crossrefType "journal-article" @default.
- W2083977009 hasAuthorship W2083977009A5019821870 @default.
- W2083977009 hasAuthorship W2083977009A5090703131 @default.
- W2083977009 hasBestOaLocation W20839770091 @default.
- W2083977009 hasConcept C108710211 @default.
- W2083977009 hasConcept C118615104 @default.
- W2083977009 hasConcept C121332964 @default.
- W2083977009 hasConcept C136119220 @default.
- W2083977009 hasConcept C138354692 @default.
- W2083977009 hasConcept C14394260 @default.
- W2083977009 hasConcept C154690210 @default.
- W2083977009 hasConcept C159423971 @default.
- W2083977009 hasConcept C167729594 @default.
- W2083977009 hasConcept C183778304 @default.
- W2083977009 hasConcept C199360897 @default.
- W2083977009 hasConcept C202444582 @default.
- W2083977009 hasConcept C2524010 @default.
- W2083977009 hasConcept C2777735758 @default.
- W2083977009 hasConcept C33923547 @default.
- W2083977009 hasConcept C41008148 @default.
- W2083977009 hasConcept C51292594 @default.
- W2083977009 hasConcept C61797465 @default.
- W2083977009 hasConcept C62520636 @default.
- W2083977009 hasConcept C77906462 @default.
- W2083977009 hasConceptScore W2083977009C108710211 @default.
- W2083977009 hasConceptScore W2083977009C118615104 @default.
- W2083977009 hasConceptScore W2083977009C121332964 @default.
- W2083977009 hasConceptScore W2083977009C136119220 @default.
- W2083977009 hasConceptScore W2083977009C138354692 @default.
- W2083977009 hasConceptScore W2083977009C14394260 @default.
- W2083977009 hasConceptScore W2083977009C154690210 @default.
- W2083977009 hasConceptScore W2083977009C159423971 @default.
- W2083977009 hasConceptScore W2083977009C167729594 @default.
- W2083977009 hasConceptScore W2083977009C183778304 @default.
- W2083977009 hasConceptScore W2083977009C199360897 @default.
- W2083977009 hasConceptScore W2083977009C202444582 @default.
- W2083977009 hasConceptScore W2083977009C2524010 @default.
- W2083977009 hasConceptScore W2083977009C2777735758 @default.
- W2083977009 hasConceptScore W2083977009C33923547 @default.
- W2083977009 hasConceptScore W2083977009C41008148 @default.
- W2083977009 hasConceptScore W2083977009C51292594 @default.
- W2083977009 hasConceptScore W2083977009C61797465 @default.
- W2083977009 hasConceptScore W2083977009C62520636 @default.
- W2083977009 hasConceptScore W2083977009C77906462 @default.
- W2083977009 hasIssue "4" @default.
- W2083977009 hasLocation W20839770091 @default.
- W2083977009 hasLocation W20839770092 @default.
- W2083977009 hasOpenAccess W2083977009 @default.
- W2083977009 hasPrimaryLocation W20839770091 @default.
- W2083977009 hasRelatedWork W1480324783 @default.
- W2083977009 hasRelatedWork W1502547841 @default.
- W2083977009 hasRelatedWork W1515515243 @default.
- W2083977009 hasRelatedWork W1585592033 @default.
- W2083977009 hasRelatedWork W1862544530 @default.
- W2083977009 hasRelatedWork W2049865932 @default.
- W2083977009 hasRelatedWork W2067633203 @default.
- W2083977009 hasRelatedWork W2083977009 @default.
- W2083977009 hasRelatedWork W2094288613 @default.
- W2083977009 hasRelatedWork W2810978436 @default.
- W2083977009 hasVolume "1" @default.
- W2083977009 isParatext "false" @default.
- W2083977009 isRetracted "false" @default.
- W2083977009 magId "2083977009" @default.
- W2083977009 workType "article" @default.