Matches in SemOpenAlex for { <https://semopenalex.org/work/W326766611> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W326766611 abstract "We develop diagram techniques for proving confluence in abstract reductions systems. The underlying theory gives a systematic and uniform framework in which a number of known results, widely scattered throughout the literature, can be understood. These results include Newman'sLemma (1942), Lemma 3.1 of Winkler and Buchberger (1985), theHindley-Rosen Lemma (1964), the Request Lemmas of Staples (1975),the Strong Confluence Lemma of Huet (1980) and the Lemma of De Bruijn (1978)." @default.
- W326766611 created "2016-06-24" @default.
- W326766611 creator A5013710541 @default.
- W326766611 creator A5052728905 @default.
- W326766611 creator A5061847827 @default.
- W326766611 date "1996-07-01" @default.
- W326766611 modified "2023-09-26" @default.
- W326766611 title "Diagram Techniques for Confluence" @default.
- W326766611 hasPublicationYear "1996" @default.
- W326766611 type Work @default.
- W326766611 sameAs 326766611 @default.
- W326766611 citedByCount "0" @default.
- W326766611 crossrefType "journal-article" @default.
- W326766611 hasAuthorship W326766611A5013710541 @default.
- W326766611 hasAuthorship W326766611A5052728905 @default.
- W326766611 hasAuthorship W326766611A5061847827 @default.
- W326766611 hasConcept C105795698 @default.
- W326766611 hasConcept C118615104 @default.
- W326766611 hasConcept C170320093 @default.
- W326766611 hasConcept C186399060 @default.
- W326766611 hasConcept C18903297 @default.
- W326766611 hasConcept C199360897 @default.
- W326766611 hasConcept C2777759810 @default.
- W326766611 hasConcept C33923547 @default.
- W326766611 hasConcept C41008148 @default.
- W326766611 hasConcept C46757340 @default.
- W326766611 hasConcept C77906462 @default.
- W326766611 hasConcept C86803240 @default.
- W326766611 hasConceptScore W326766611C105795698 @default.
- W326766611 hasConceptScore W326766611C118615104 @default.
- W326766611 hasConceptScore W326766611C170320093 @default.
- W326766611 hasConceptScore W326766611C186399060 @default.
- W326766611 hasConceptScore W326766611C18903297 @default.
- W326766611 hasConceptScore W326766611C199360897 @default.
- W326766611 hasConceptScore W326766611C2777759810 @default.
- W326766611 hasConceptScore W326766611C33923547 @default.
- W326766611 hasConceptScore W326766611C41008148 @default.
- W326766611 hasConceptScore W326766611C46757340 @default.
- W326766611 hasConceptScore W326766611C77906462 @default.
- W326766611 hasConceptScore W326766611C86803240 @default.
- W326766611 hasLocation W3267666111 @default.
- W326766611 hasOpenAccess W326766611 @default.
- W326766611 hasPrimaryLocation W3267666111 @default.
- W326766611 hasRelatedWork W1565684715 @default.
- W326766611 hasRelatedWork W201195458 @default.
- W326766611 hasRelatedWork W2033083468 @default.
- W326766611 hasRelatedWork W2050984357 @default.
- W326766611 hasRelatedWork W2056573971 @default.
- W326766611 hasRelatedWork W2093843395 @default.
- W326766611 hasRelatedWork W2139017762 @default.
- W326766611 hasRelatedWork W2258154066 @default.
- W326766611 hasRelatedWork W2292624642 @default.
- W326766611 hasRelatedWork W2569868470 @default.
- W326766611 hasRelatedWork W2735923117 @default.
- W326766611 hasRelatedWork W281488709 @default.
- W326766611 hasRelatedWork W2949829944 @default.
- W326766611 hasRelatedWork W2949943566 @default.
- W326766611 hasRelatedWork W2972159414 @default.
- W326766611 hasRelatedWork W3021519371 @default.
- W326766611 hasRelatedWork W3044638218 @default.
- W326766611 hasRelatedWork W3081987065 @default.
- W326766611 hasRelatedWork W3212452327 @default.
- W326766611 hasRelatedWork W3150324969 @default.
- W326766611 hasVolume "166" @default.
- W326766611 isParatext "false" @default.
- W326766611 isRetracted "false" @default.
- W326766611 magId "326766611" @default.
- W326766611 workType "article" @default.