Matches in SemOpenAlex for { <https://semopenalex.org/work/W2176474378> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2176474378 endingPage "32" @default.
- W2176474378 startingPage "1" @default.
- W2176474378 abstract "We introduce layer systems for proving generalizations of the modularity of confluence for first-order rewrite systems. Layer systems specify how terms can be divided into layers. We establish structural conditions on those systems that imply confluence. Our abstract framework covers known results like modularity, many-sorted persistence, layer-preservation and currying. We present a counterexample to an extension of persistence to order-sorted rewriting and derive new sufficient conditions for the extension to hold. All our proofs are constructive." @default.
- W2176474378 created "2016-06-24" @default.
- W2176474378 creator A5028009961 @default.
- W2176474378 creator A5030609925 @default.
- W2176474378 creator A5049118633 @default.
- W2176474378 creator A5073597105 @default.
- W2176474378 date "2015-03-09" @default.
- W2176474378 modified "2023-09-25" @default.
- W2176474378 title "Layer Systems for Proving Confluence" @default.
- W2176474378 cites W1601903054 @default.
- W2176474378 cites W1979101142 @default.
- W2176474378 cites W1988319950 @default.
- W2176474378 cites W1997816727 @default.
- W2176474378 cites W2001532324 @default.
- W2176474378 cites W2040263743 @default.
- W2176474378 cites W2041799549 @default.
- W2176474378 cites W2045722392 @default.
- W2176474378 cites W2056239109 @default.
- W2176474378 cites W2077426843 @default.
- W2176474378 cites W4230919050 @default.
- W2176474378 doi "https://doi.org/10.1145/2710017" @default.
- W2176474378 hasPublicationYear "2015" @default.
- W2176474378 type Work @default.
- W2176474378 sameAs 2176474378 @default.
- W2176474378 citedByCount "6" @default.
- W2176474378 countsByYear W21764743782017 @default.
- W2176474378 countsByYear W21764743782018 @default.
- W2176474378 countsByYear W21764743782019 @default.
- W2176474378 countsByYear W21764743782022 @default.
- W2176474378 countsByYear W21764743782023 @default.
- W2176474378 crossrefType "journal-article" @default.
- W2176474378 hasAuthorship W2176474378A5028009961 @default.
- W2176474378 hasAuthorship W2176474378A5030609925 @default.
- W2176474378 hasAuthorship W2176474378A5049118633 @default.
- W2176474378 hasAuthorship W2176474378A5073597105 @default.
- W2176474378 hasBestOaLocation W21764743781 @default.
- W2176474378 hasConcept C108710211 @default.
- W2176474378 hasConcept C118615104 @default.
- W2176474378 hasConcept C154690210 @default.
- W2176474378 hasConcept C162838799 @default.
- W2176474378 hasConcept C178790620 @default.
- W2176474378 hasConcept C185592680 @default.
- W2176474378 hasConcept C199360897 @default.
- W2176474378 hasConcept C2524010 @default.
- W2176474378 hasConcept C2778029271 @default.
- W2176474378 hasConcept C2778701210 @default.
- W2176474378 hasConcept C2779227376 @default.
- W2176474378 hasConcept C2779478453 @default.
- W2176474378 hasConcept C33923547 @default.
- W2176474378 hasConcept C41008148 @default.
- W2176474378 hasConcept C54355233 @default.
- W2176474378 hasConcept C77906462 @default.
- W2176474378 hasConcept C86803240 @default.
- W2176474378 hasConcept C98045186 @default.
- W2176474378 hasConceptScore W2176474378C108710211 @default.
- W2176474378 hasConceptScore W2176474378C118615104 @default.
- W2176474378 hasConceptScore W2176474378C154690210 @default.
- W2176474378 hasConceptScore W2176474378C162838799 @default.
- W2176474378 hasConceptScore W2176474378C178790620 @default.
- W2176474378 hasConceptScore W2176474378C185592680 @default.
- W2176474378 hasConceptScore W2176474378C199360897 @default.
- W2176474378 hasConceptScore W2176474378C2524010 @default.
- W2176474378 hasConceptScore W2176474378C2778029271 @default.
- W2176474378 hasConceptScore W2176474378C2778701210 @default.
- W2176474378 hasConceptScore W2176474378C2779227376 @default.
- W2176474378 hasConceptScore W2176474378C2779478453 @default.
- W2176474378 hasConceptScore W2176474378C33923547 @default.
- W2176474378 hasConceptScore W2176474378C41008148 @default.
- W2176474378 hasConceptScore W2176474378C54355233 @default.
- W2176474378 hasConceptScore W2176474378C77906462 @default.
- W2176474378 hasConceptScore W2176474378C86803240 @default.
- W2176474378 hasConceptScore W2176474378C98045186 @default.
- W2176474378 hasFunder F4320321181 @default.
- W2176474378 hasIssue "2" @default.
- W2176474378 hasLocation W21764743781 @default.
- W2176474378 hasLocation W21764743782 @default.
- W2176474378 hasLocation W21764743783 @default.
- W2176474378 hasLocation W21764743784 @default.
- W2176474378 hasOpenAccess W2176474378 @default.
- W2176474378 hasPrimaryLocation W21764743781 @default.
- W2176474378 hasRelatedWork W1582807178 @default.
- W2176474378 hasRelatedWork W1587116809 @default.
- W2176474378 hasRelatedWork W1843283220 @default.
- W2176474378 hasRelatedWork W1966909677 @default.
- W2176474378 hasRelatedWork W1991934002 @default.
- W2176474378 hasRelatedWork W2013111119 @default.
- W2176474378 hasRelatedWork W2024508150 @default.
- W2176474378 hasRelatedWork W2118530352 @default.
- W2176474378 hasRelatedWork W2176474378 @default.
- W2176474378 hasRelatedWork W2249688530 @default.
- W2176474378 hasVolume "16" @default.
- W2176474378 isParatext "false" @default.
- W2176474378 isRetracted "false" @default.
- W2176474378 magId "2176474378" @default.
- W2176474378 workType "article" @default.