Matches in SemOpenAlex for { <https://semopenalex.org/work/W2895876603> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2895876603 abstract "Toyama’s theorem states that the union of two confluent term rewrite systems with disjoint signatures is again confluent. This is a fundamental result in term rewriting, and several proofs appear in the literature. The underlying proof technique has been adapted to prove further results like persistence of confluence (if a many-sorted term rewrite system is confluent, then the underlying unsorted system is confluent) or the preservation of confluence by currying." @default.
- W2895876603 created "2018-10-26" @default.
- W2895876603 creator A5007871383 @default.
- W2895876603 creator A5030609925 @default.
- W2895876603 date "2018-01-01" @default.
- W2895876603 modified "2023-09-23" @default.
- W2895876603 title "Layer Systems for Confluence—Formalized" @default.
- W2895876603 cites W1482572800 @default.
- W2895876603 cites W1586794044 @default.
- W2895876603 cites W1601903054 @default.
- W2895876603 cites W1766647772 @default.
- W2895876603 cites W1997816727 @default.
- W2895876603 cites W2045722392 @default.
- W2895876603 cites W2061969020 @default.
- W2895876603 cites W2077426843 @default.
- W2895876603 cites W2142631561 @default.
- W2895876603 cites W2176474378 @default.
- W2895876603 cites W2410859016 @default.
- W2895876603 cites W2735861624 @default.
- W2895876603 cites W4230919050 @default.
- W2895876603 cites W4250846042 @default.
- W2895876603 cites W4256124958 @default.
- W2895876603 cites W575118053 @default.
- W2895876603 doi "https://doi.org/10.1007/978-3-030-02508-3_10" @default.
- W2895876603 hasPublicationYear "2018" @default.
- W2895876603 type Work @default.
- W2895876603 sameAs 2895876603 @default.
- W2895876603 citedByCount "0" @default.
- W2895876603 crossrefType "book-chapter" @default.
- W2895876603 hasAuthorship W2895876603A5007871383 @default.
- W2895876603 hasAuthorship W2895876603A5030609925 @default.
- W2895876603 hasBestOaLocation W28958766031 @default.
- W2895876603 hasConcept C108710211 @default.
- W2895876603 hasConcept C118615104 @default.
- W2895876603 hasConcept C121332964 @default.
- W2895876603 hasConcept C154690210 @default.
- W2895876603 hasConcept C199360897 @default.
- W2895876603 hasConcept C206880738 @default.
- W2895876603 hasConcept C2524010 @default.
- W2895876603 hasConcept C33923547 @default.
- W2895876603 hasConcept C41008148 @default.
- W2895876603 hasConcept C45340560 @default.
- W2895876603 hasConcept C61797465 @default.
- W2895876603 hasConcept C62520636 @default.
- W2895876603 hasConcept C7655956 @default.
- W2895876603 hasConcept C77906462 @default.
- W2895876603 hasConceptScore W2895876603C108710211 @default.
- W2895876603 hasConceptScore W2895876603C118615104 @default.
- W2895876603 hasConceptScore W2895876603C121332964 @default.
- W2895876603 hasConceptScore W2895876603C154690210 @default.
- W2895876603 hasConceptScore W2895876603C199360897 @default.
- W2895876603 hasConceptScore W2895876603C206880738 @default.
- W2895876603 hasConceptScore W2895876603C2524010 @default.
- W2895876603 hasConceptScore W2895876603C33923547 @default.
- W2895876603 hasConceptScore W2895876603C41008148 @default.
- W2895876603 hasConceptScore W2895876603C45340560 @default.
- W2895876603 hasConceptScore W2895876603C61797465 @default.
- W2895876603 hasConceptScore W2895876603C62520636 @default.
- W2895876603 hasConceptScore W2895876603C7655956 @default.
- W2895876603 hasConceptScore W2895876603C77906462 @default.
- W2895876603 hasLocation W28958766031 @default.
- W2895876603 hasOpenAccess W2895876603 @default.
- W2895876603 hasPrimaryLocation W28958766031 @default.
- W2895876603 hasRelatedWork W1489181544 @default.
- W2895876603 hasRelatedWork W1501125381 @default.
- W2895876603 hasRelatedWork W1506205964 @default.
- W2895876603 hasRelatedWork W1553938377 @default.
- W2895876603 hasRelatedWork W1563061915 @default.
- W2895876603 hasRelatedWork W1565192554 @default.
- W2895876603 hasRelatedWork W158305784 @default.
- W2895876603 hasRelatedWork W1594568141 @default.
- W2895876603 hasRelatedWork W2045722392 @default.
- W2895876603 hasRelatedWork W2080725351 @default.
- W2895876603 hasRelatedWork W2141000297 @default.
- W2895876603 hasRelatedWork W2491573813 @default.
- W2895876603 hasRelatedWork W2585889437 @default.
- W2895876603 hasRelatedWork W2756087029 @default.
- W2895876603 hasRelatedWork W2907092888 @default.
- W2895876603 hasRelatedWork W2929166152 @default.
- W2895876603 hasRelatedWork W2955958789 @default.
- W2895876603 hasRelatedWork W3113008823 @default.
- W2895876603 hasRelatedWork W3144038830 @default.
- W2895876603 hasRelatedWork W46056243 @default.
- W2895876603 isParatext "false" @default.
- W2895876603 isRetracted "false" @default.
- W2895876603 magId "2895876603" @default.
- W2895876603 workType "book-chapter" @default.