Matches in SemOpenAlex for { <https://semopenalex.org/work/W1994958005> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1994958005 endingPage "159" @default.
- W1994958005 startingPage "137" @default.
- W1994958005 abstract "This paper describes the actual implementation in the rewrite rule laboratory REVE of an elementary procedure that checks inequalities between polynomials and is used for proving termination of rewriting systems, especially in the more difficult case of associative-commutative rewriting systems, for which a complete characterization is given." @default.
- W1994958005 created "2016-06-24" @default.
- W1994958005 creator A5042417161 @default.
- W1994958005 creator A5085521400 @default.
- W1994958005 date "1987-10-01" @default.
- W1994958005 modified "2023-09-28" @default.
- W1994958005 title "Termination of rewriting systems by polynomial interpretations and its implementation" @default.
- W1994958005 cites W1787035848 @default.
- W1994958005 cites W1979101142 @default.
- W1994958005 cites W2042924775 @default.
- W1994958005 cites W2056016391 @default.
- W1994958005 cites W2075624179 @default.
- W1994958005 cites W2083977009 @default.
- W1994958005 cites W2086747974 @default.
- W1994958005 cites W2139480317 @default.
- W1994958005 cites W4254784218 @default.
- W1994958005 doi "https://doi.org/10.1016/0167-6423(87)90030-x" @default.
- W1994958005 hasPublicationYear "1987" @default.
- W1994958005 type Work @default.
- W1994958005 sameAs 1994958005 @default.
- W1994958005 citedByCount "142" @default.
- W1994958005 countsByYear W19949580052012 @default.
- W1994958005 countsByYear W19949580052014 @default.
- W1994958005 countsByYear W19949580052015 @default.
- W1994958005 countsByYear W19949580052018 @default.
- W1994958005 countsByYear W19949580052023 @default.
- W1994958005 crossrefType "journal-article" @default.
- W1994958005 hasAuthorship W1994958005A5042417161 @default.
- W1994958005 hasAuthorship W1994958005A5085521400 @default.
- W1994958005 hasBestOaLocation W19949580051 @default.
- W1994958005 hasConcept C118615104 @default.
- W1994958005 hasConcept C134306372 @default.
- W1994958005 hasConcept C136119220 @default.
- W1994958005 hasConcept C154690210 @default.
- W1994958005 hasConcept C159423971 @default.
- W1994958005 hasConcept C183778304 @default.
- W1994958005 hasConcept C199360897 @default.
- W1994958005 hasConcept C202444582 @default.
- W1994958005 hasConcept C33923547 @default.
- W1994958005 hasConcept C41008148 @default.
- W1994958005 hasConcept C77906462 @default.
- W1994958005 hasConcept C90119067 @default.
- W1994958005 hasConceptScore W1994958005C118615104 @default.
- W1994958005 hasConceptScore W1994958005C134306372 @default.
- W1994958005 hasConceptScore W1994958005C136119220 @default.
- W1994958005 hasConceptScore W1994958005C154690210 @default.
- W1994958005 hasConceptScore W1994958005C159423971 @default.
- W1994958005 hasConceptScore W1994958005C183778304 @default.
- W1994958005 hasConceptScore W1994958005C199360897 @default.
- W1994958005 hasConceptScore W1994958005C202444582 @default.
- W1994958005 hasConceptScore W1994958005C33923547 @default.
- W1994958005 hasConceptScore W1994958005C41008148 @default.
- W1994958005 hasConceptScore W1994958005C77906462 @default.
- W1994958005 hasConceptScore W1994958005C90119067 @default.
- W1994958005 hasIssue "2" @default.
- W1994958005 hasLocation W19949580051 @default.
- W1994958005 hasLocation W19949580052 @default.
- W1994958005 hasLocation W19949580053 @default.
- W1994958005 hasOpenAccess W1994958005 @default.
- W1994958005 hasPrimaryLocation W19949580051 @default.
- W1994958005 hasRelatedWork W1480324783 @default.
- W1994958005 hasRelatedWork W1537020771 @default.
- W1994958005 hasRelatedWork W1537096018 @default.
- W1994958005 hasRelatedWork W1741124088 @default.
- W1994958005 hasRelatedWork W1770707453 @default.
- W1994958005 hasRelatedWork W1994958005 @default.
- W1994958005 hasRelatedWork W2067633203 @default.
- W1994958005 hasRelatedWork W2083977009 @default.
- W1994958005 hasRelatedWork W3000114288 @default.
- W1994958005 hasRelatedWork W2585942290 @default.
- W1994958005 hasVolume "9" @default.
- W1994958005 isParatext "false" @default.
- W1994958005 isRetracted "false" @default.
- W1994958005 magId "1994958005" @default.
- W1994958005 workType "article" @default.