Matches in SemOpenAlex for { <https://semopenalex.org/work/W1489632372> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1489632372 endingPage "331" @default.
- W1489632372 startingPage "316" @default.
- W1489632372 abstract "We propose a new type of conditional term rewriting systems: left-right separated conditional term rewriting systems, in which the left-hand side and the right-hand side of a rewrite rule have separate variables. By developing a concept of weight decreasing joinability we first present a sufficient condition for the Church-Rosser property of left-right separated conditional term rewriting systems which may have overlapping rewrite rules. We next apply this result to show sufficient conditions for the unique normal form property and the Church-Rosser property of unconditional term rewriting systems which are non-duplicating, non-left-linear, and overlapping." @default.
- W1489632372 created "2016-06-24" @default.
- W1489632372 creator A5003664950 @default.
- W1489632372 creator A5008183055 @default.
- W1489632372 date "1995-01-01" @default.
- W1489632372 modified "2023-09-24" @default.
- W1489632372 title "Church-Rosser property and unique normal form property of non-duplicating term rewriting systems" @default.
- W1489632372 cites W1503810901 @default.
- W1489632372 cites W1981798416 @default.
- W1489632372 cites W2006607295 @default.
- W1489632372 cites W2167316540 @default.
- W1489632372 cites W3022794709 @default.
- W1489632372 doi "https://doi.org/10.1007/3-540-60381-6_19" @default.
- W1489632372 hasPublicationYear "1995" @default.
- W1489632372 type Work @default.
- W1489632372 sameAs 1489632372 @default.
- W1489632372 citedByCount "15" @default.
- W1489632372 countsByYear W14896323722012 @default.
- W1489632372 countsByYear W14896323722015 @default.
- W1489632372 countsByYear W14896323722017 @default.
- W1489632372 crossrefType "book-chapter" @default.
- W1489632372 hasAuthorship W1489632372A5003664950 @default.
- W1489632372 hasAuthorship W1489632372A5008183055 @default.
- W1489632372 hasConcept C111472728 @default.
- W1489632372 hasConcept C121332964 @default.
- W1489632372 hasConcept C138885662 @default.
- W1489632372 hasConcept C154690210 @default.
- W1489632372 hasConcept C189950617 @default.
- W1489632372 hasConcept C199360897 @default.
- W1489632372 hasConcept C202444582 @default.
- W1489632372 hasConcept C33923547 @default.
- W1489632372 hasConcept C41008148 @default.
- W1489632372 hasConcept C61797465 @default.
- W1489632372 hasConcept C62520636 @default.
- W1489632372 hasConcept C77906462 @default.
- W1489632372 hasConceptScore W1489632372C111472728 @default.
- W1489632372 hasConceptScore W1489632372C121332964 @default.
- W1489632372 hasConceptScore W1489632372C138885662 @default.
- W1489632372 hasConceptScore W1489632372C154690210 @default.
- W1489632372 hasConceptScore W1489632372C189950617 @default.
- W1489632372 hasConceptScore W1489632372C199360897 @default.
- W1489632372 hasConceptScore W1489632372C202444582 @default.
- W1489632372 hasConceptScore W1489632372C33923547 @default.
- W1489632372 hasConceptScore W1489632372C41008148 @default.
- W1489632372 hasConceptScore W1489632372C61797465 @default.
- W1489632372 hasConceptScore W1489632372C62520636 @default.
- W1489632372 hasConceptScore W1489632372C77906462 @default.
- W1489632372 hasLocation W14896323721 @default.
- W1489632372 hasOpenAccess W1489632372 @default.
- W1489632372 hasPrimaryLocation W14896323721 @default.
- W1489632372 hasRelatedWork W1590478691 @default.
- W1489632372 hasRelatedWork W1594568141 @default.
- W1489632372 hasRelatedWork W1997816727 @default.
- W1489632372 hasRelatedWork W2036985061 @default.
- W1489632372 hasRelatedWork W2156964945 @default.
- W1489632372 hasRelatedWork W2175061513 @default.
- W1489632372 hasRelatedWork W2316704281 @default.
- W1489632372 hasRelatedWork W569683276 @default.
- W1489632372 hasRelatedWork W59918536 @default.
- W1489632372 hasRelatedWork W1693156227 @default.
- W1489632372 isParatext "false" @default.
- W1489632372 isRetracted "false" @default.
- W1489632372 magId "1489632372" @default.
- W1489632372 workType "book-chapter" @default.