Matches in SemOpenAlex for { <https://semopenalex.org/work/W2123757846> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2123757846 endingPage "44" @default.
- W2123757846 startingPage "31" @default.
- W2123757846 abstract "Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming. An important issue, in either case, is determining whether a rewrite system has the Church-Rosser, or confluence, property. In this paper, we settle negatively the question whether “joinability of critical pairs” is, in general, sufficient for confluence of terminating conditional systems. We review known sufficient conditions for confluence, and also prove two new positive results for systems having critical pairs and arbitrarily big terms in conditions." @default.
- W2123757846 created "2016-06-24" @default.
- W2123757846 creator A5014701461 @default.
- W2123757846 creator A5039993352 @default.
- W2123757846 creator A5069671691 @default.
- W2123757846 date "1988-01-01" @default.
- W2123757846 modified "2023-09-25" @default.
- W2123757846 title "Confluence of conditional rewrite systems" @default.
- W2123757846 cites W1979101142 @default.
- W2123757846 cites W2056716318 @default.
- W2123757846 cites W2914556199 @default.
- W2123757846 doi "https://doi.org/10.1007/3-540-19242-5_3" @default.
- W2123757846 hasPublicationYear "1988" @default.
- W2123757846 type Work @default.
- W2123757846 sameAs 2123757846 @default.
- W2123757846 citedByCount "31" @default.
- W2123757846 countsByYear W21237578462014 @default.
- W2123757846 countsByYear W21237578462022 @default.
- W2123757846 crossrefType "book-chapter" @default.
- W2123757846 hasAuthorship W2123757846A5014701461 @default.
- W2123757846 hasAuthorship W2123757846A5039993352 @default.
- W2123757846 hasAuthorship W2123757846A5069671691 @default.
- W2123757846 hasBestOaLocation W21237578462 @default.
- W2123757846 hasConcept C111472728 @default.
- W2123757846 hasConcept C11413529 @default.
- W2123757846 hasConcept C118615104 @default.
- W2123757846 hasConcept C134306372 @default.
- W2123757846 hasConcept C136119220 @default.
- W2123757846 hasConcept C138885662 @default.
- W2123757846 hasConcept C154690210 @default.
- W2123757846 hasConcept C159333733 @default.
- W2123757846 hasConcept C18903297 @default.
- W2123757846 hasConcept C189950617 @default.
- W2123757846 hasConcept C199360897 @default.
- W2123757846 hasConcept C202444582 @default.
- W2123757846 hasConcept C2524010 @default.
- W2123757846 hasConcept C2777299769 @default.
- W2123757846 hasConcept C28719098 @default.
- W2123757846 hasConcept C33923547 @default.
- W2123757846 hasConcept C41008148 @default.
- W2123757846 hasConcept C42383842 @default.
- W2123757846 hasConcept C77906462 @default.
- W2123757846 hasConcept C80444323 @default.
- W2123757846 hasConcept C86803240 @default.
- W2123757846 hasConcept C9376300 @default.
- W2123757846 hasConceptScore W2123757846C111472728 @default.
- W2123757846 hasConceptScore W2123757846C11413529 @default.
- W2123757846 hasConceptScore W2123757846C118615104 @default.
- W2123757846 hasConceptScore W2123757846C134306372 @default.
- W2123757846 hasConceptScore W2123757846C136119220 @default.
- W2123757846 hasConceptScore W2123757846C138885662 @default.
- W2123757846 hasConceptScore W2123757846C154690210 @default.
- W2123757846 hasConceptScore W2123757846C159333733 @default.
- W2123757846 hasConceptScore W2123757846C18903297 @default.
- W2123757846 hasConceptScore W2123757846C189950617 @default.
- W2123757846 hasConceptScore W2123757846C199360897 @default.
- W2123757846 hasConceptScore W2123757846C202444582 @default.
- W2123757846 hasConceptScore W2123757846C2524010 @default.
- W2123757846 hasConceptScore W2123757846C2777299769 @default.
- W2123757846 hasConceptScore W2123757846C28719098 @default.
- W2123757846 hasConceptScore W2123757846C33923547 @default.
- W2123757846 hasConceptScore W2123757846C41008148 @default.
- W2123757846 hasConceptScore W2123757846C42383842 @default.
- W2123757846 hasConceptScore W2123757846C77906462 @default.
- W2123757846 hasConceptScore W2123757846C80444323 @default.
- W2123757846 hasConceptScore W2123757846C86803240 @default.
- W2123757846 hasConceptScore W2123757846C9376300 @default.
- W2123757846 hasLocation W21237578461 @default.
- W2123757846 hasLocation W21237578462 @default.
- W2123757846 hasOpenAccess W2123757846 @default.
- W2123757846 hasPrimaryLocation W21237578461 @default.
- W2123757846 hasRelatedWork W1482220610 @default.
- W2123757846 hasRelatedWork W1567063112 @default.
- W2123757846 hasRelatedWork W1567308204 @default.
- W2123757846 hasRelatedWork W1919615793 @default.
- W2123757846 hasRelatedWork W2011361820 @default.
- W2123757846 hasRelatedWork W2030762481 @default.
- W2123757846 hasRelatedWork W2571112258 @default.
- W2123757846 hasRelatedWork W4251805752 @default.
- W2123757846 hasRelatedWork W971730143 @default.
- W2123757846 hasRelatedWork W2585250070 @default.
- W2123757846 isParatext "false" @default.
- W2123757846 isRetracted "false" @default.
- W2123757846 magId "2123757846" @default.
- W2123757846 workType "book-chapter" @default.