Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952134353> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2952134353 abstract "In this paper we use the decreasing diagrams technique to show that a left-linear term rewrite system R is confluent if all its critical pairs are joinable and the critical pair steps are relatively terminating with respect to R. We further show how to encode the rule-labeling heuristic for decreasing diagrams as a satisfiability problem. Experimental data for both methods are presented." @default.
- W2952134353 created "2019-06-27" @default.
- W2952134353 creator A5029417342 @default.
- W2952134353 creator A5049118633 @default.
- W2952134353 date "2009-10-15" @default.
- W2952134353 modified "2023-10-16" @default.
- W2952134353 title "Decreasing Diagrams and Relative Termination" @default.
- W2952134353 cites W1518705996 @default.
- W2952134353 cites W1968386045 @default.
- W2952134353 cites W1979101142 @default.
- W2952134353 cites W2049077134 @default.
- W2952134353 cites W2056239109 @default.
- W2952134353 cites W2136514805 @default.
- W2952134353 cites W2156645025 @default.
- W2952134353 cites W2171453216 @default.
- W2952134353 cites W2175539205 @default.
- W2952134353 cites W2912720389 @default.
- W2952134353 cites W2762996436 @default.
- W2952134353 hasPublicationYear "2009" @default.
- W2952134353 type Work @default.
- W2952134353 sameAs 2952134353 @default.
- W2952134353 citedByCount "0" @default.
- W2952134353 crossrefType "posted-content" @default.
- W2952134353 hasAuthorship W2952134353A5029417342 @default.
- W2952134353 hasAuthorship W2952134353A5049118633 @default.
- W2952134353 hasConcept C104317684 @default.
- W2952134353 hasConcept C11413529 @default.
- W2952134353 hasConcept C114614502 @default.
- W2952134353 hasConcept C118615104 @default.
- W2952134353 hasConcept C121332964 @default.
- W2952134353 hasConcept C126255220 @default.
- W2952134353 hasConcept C159333733 @default.
- W2952134353 hasConcept C168773769 @default.
- W2952134353 hasConcept C173801870 @default.
- W2952134353 hasConcept C185592680 @default.
- W2952134353 hasConcept C199360897 @default.
- W2952134353 hasConcept C33923547 @default.
- W2952134353 hasConcept C41008148 @default.
- W2952134353 hasConcept C55493867 @default.
- W2952134353 hasConcept C61797465 @default.
- W2952134353 hasConcept C62520636 @default.
- W2952134353 hasConcept C66746571 @default.
- W2952134353 hasConcept C6943359 @default.
- W2952134353 hasConceptScore W2952134353C104317684 @default.
- W2952134353 hasConceptScore W2952134353C11413529 @default.
- W2952134353 hasConceptScore W2952134353C114614502 @default.
- W2952134353 hasConceptScore W2952134353C118615104 @default.
- W2952134353 hasConceptScore W2952134353C121332964 @default.
- W2952134353 hasConceptScore W2952134353C126255220 @default.
- W2952134353 hasConceptScore W2952134353C159333733 @default.
- W2952134353 hasConceptScore W2952134353C168773769 @default.
- W2952134353 hasConceptScore W2952134353C173801870 @default.
- W2952134353 hasConceptScore W2952134353C185592680 @default.
- W2952134353 hasConceptScore W2952134353C199360897 @default.
- W2952134353 hasConceptScore W2952134353C33923547 @default.
- W2952134353 hasConceptScore W2952134353C41008148 @default.
- W2952134353 hasConceptScore W2952134353C55493867 @default.
- W2952134353 hasConceptScore W2952134353C61797465 @default.
- W2952134353 hasConceptScore W2952134353C62520636 @default.
- W2952134353 hasConceptScore W2952134353C66746571 @default.
- W2952134353 hasConceptScore W2952134353C6943359 @default.
- W2952134353 hasLocation W29521343531 @default.
- W2952134353 hasOpenAccess W2952134353 @default.
- W2952134353 hasPrimaryLocation W29521343531 @default.
- W2952134353 hasRelatedWork W1492937766 @default.
- W2952134353 hasRelatedWork W1574067886 @default.
- W2952134353 hasRelatedWork W1952215883 @default.
- W2952134353 hasRelatedWork W1987861292 @default.
- W2952134353 hasRelatedWork W1995828396 @default.
- W2952134353 hasRelatedWork W2022577490 @default.
- W2952134353 hasRelatedWork W2023622935 @default.
- W2952134353 hasRelatedWork W2037639986 @default.
- W2952134353 hasRelatedWork W2096527113 @default.
- W2952134353 hasRelatedWork W210557330 @default.
- W2952134353 hasRelatedWork W2127730451 @default.
- W2952134353 hasRelatedWork W2189387640 @default.
- W2952134353 hasRelatedWork W2590445006 @default.
- W2952134353 hasRelatedWork W261044226 @default.
- W2952134353 hasRelatedWork W2612213744 @default.
- W2952134353 hasRelatedWork W2781437110 @default.
- W2952134353 hasRelatedWork W2789687033 @default.
- W2952134353 hasRelatedWork W3016592800 @default.
- W2952134353 hasRelatedWork W3102693153 @default.
- W2952134353 hasRelatedWork W3148387491 @default.
- W2952134353 isParatext "false" @default.
- W2952134353 isRetracted "false" @default.
- W2952134353 magId "2952134353" @default.
- W2952134353 workType "article" @default.