Matches in SemOpenAlex for { <https://semopenalex.org/work/W2118530352> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2118530352 endingPage "4" @default.
- W2118530352 startingPage "1" @default.
- W2118530352 abstract "We revisit modularity in term rewriting which for the last 25 years has been a very active and fruitful research field. Starting with the pioneering works of Yoshihito Toyama on the modularity of confluence and the non-modularity of termination he thus initiated an extremely productive line of research, with many non-trivial and deep results, striking counterexamples and a substantial amount of systematic theoretical foundations, methodological principles and novel proof techniques. In this focused summary we will revisit the modularity analysis for ordinary term rewriting systems, considering various confluence and termination properties and restricting ourselves mainly to the case of disjoint unions. We will summarize known results on the (non-)modularity of various confluence and termination properties, and exhibit crucial ideas, constructions and phenomena. Later on we will also briefly consider various extensions, applications, related questions and open problems, as well as recent developments." @default.
- W2118530352 created "2016-06-24" @default.
- W2118530352 creator A5054412358 @default.
- W2118530352 creator A5091212381 @default.
- W2118530352 date "1990-02-01" @default.
- W2118530352 modified "2023-09-24" @default.
- W2118530352 title "Modular term rewriting systems and the termination" @default.
- W2118530352 cites W1480729609 @default.
- W2118530352 cites W1486980090 @default.
- W2118530352 cites W1598625331 @default.
- W2118530352 cites W1600655341 @default.
- W2118530352 cites W1997816727 @default.
- W2118530352 cites W2017284475 @default.
- W2118530352 cites W2080725351 @default.
- W2118530352 cites W2110001428 @default.
- W2118530352 cites W2121757274 @default.
- W2118530352 cites W2164778826 @default.
- W2118530352 doi "https://doi.org/10.1016/0020-0190(90)90221-i" @default.
- W2118530352 hasPublicationYear "1990" @default.
- W2118530352 type Work @default.
- W2118530352 sameAs 2118530352 @default.
- W2118530352 citedByCount "20" @default.
- W2118530352 countsByYear W21185303522012 @default.
- W2118530352 countsByYear W21185303522020 @default.
- W2118530352 crossrefType "journal-article" @default.
- W2118530352 hasAuthorship W2118530352A5054412358 @default.
- W2118530352 hasAuthorship W2118530352A5091212381 @default.
- W2118530352 hasConcept C101468663 @default.
- W2118530352 hasConcept C118615104 @default.
- W2118530352 hasConcept C121332964 @default.
- W2118530352 hasConcept C154690210 @default.
- W2118530352 hasConcept C162838799 @default.
- W2118530352 hasConcept C199360897 @default.
- W2118530352 hasConcept C202444582 @default.
- W2118530352 hasConcept C2779478453 @default.
- W2118530352 hasConcept C33923547 @default.
- W2118530352 hasConcept C41008148 @default.
- W2118530352 hasConcept C45340560 @default.
- W2118530352 hasConcept C54355233 @default.
- W2118530352 hasConcept C61797465 @default.
- W2118530352 hasConcept C62520636 @default.
- W2118530352 hasConcept C77906462 @default.
- W2118530352 hasConcept C80444323 @default.
- W2118530352 hasConcept C86803240 @default.
- W2118530352 hasConcept C9652623 @default.
- W2118530352 hasConceptScore W2118530352C101468663 @default.
- W2118530352 hasConceptScore W2118530352C118615104 @default.
- W2118530352 hasConceptScore W2118530352C121332964 @default.
- W2118530352 hasConceptScore W2118530352C154690210 @default.
- W2118530352 hasConceptScore W2118530352C162838799 @default.
- W2118530352 hasConceptScore W2118530352C199360897 @default.
- W2118530352 hasConceptScore W2118530352C202444582 @default.
- W2118530352 hasConceptScore W2118530352C2779478453 @default.
- W2118530352 hasConceptScore W2118530352C33923547 @default.
- W2118530352 hasConceptScore W2118530352C41008148 @default.
- W2118530352 hasConceptScore W2118530352C45340560 @default.
- W2118530352 hasConceptScore W2118530352C54355233 @default.
- W2118530352 hasConceptScore W2118530352C61797465 @default.
- W2118530352 hasConceptScore W2118530352C62520636 @default.
- W2118530352 hasConceptScore W2118530352C77906462 @default.
- W2118530352 hasConceptScore W2118530352C80444323 @default.
- W2118530352 hasConceptScore W2118530352C86803240 @default.
- W2118530352 hasConceptScore W2118530352C9652623 @default.
- W2118530352 hasIssue "1" @default.
- W2118530352 hasLocation W21185303521 @default.
- W2118530352 hasOpenAccess W2118530352 @default.
- W2118530352 hasPrimaryLocation W21185303521 @default.
- W2118530352 hasRelatedWork W1506205964 @default.
- W2118530352 hasRelatedWork W1782843711 @default.
- W2118530352 hasRelatedWork W1966909677 @default.
- W2118530352 hasRelatedWork W1997816727 @default.
- W2118530352 hasRelatedWork W2024508150 @default.
- W2118530352 hasRelatedWork W2176474378 @default.
- W2118530352 hasRelatedWork W2249688530 @default.
- W2118530352 hasRelatedWork W2679405811 @default.
- W2118530352 hasRelatedWork W588210614 @default.
- W2118530352 hasRelatedWork W2583732129 @default.
- W2118530352 hasVolume "34" @default.
- W2118530352 isParatext "false" @default.
- W2118530352 isRetracted "false" @default.
- W2118530352 magId "2118530352" @default.
- W2118530352 workType "article" @default.