Matches in SemOpenAlex for { <https://semopenalex.org/work/W192652587> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W192652587 endingPage "259" @default.
- W192652587 startingPage "258" @default.
- W192652587 abstract "We present a survey of confluence properties of (acyclic) term graph rewriting. Results and counterexamples are given for four different kinds of term graph rewriting: besides plain applications of rewrite rules, extensions with the operations of collapsing and copying, and with both operations together are considered. Collapsing and copying together constitute bisimilarity of term graphs. We establish sufficient conditions for, and counterexamples to, confluence and confluence modulo bisimilarity of term graph rewriting over various classes of term rewriting systems." @default.
- W192652587 created "2016-06-24" @default.
- W192652587 creator A5004618704 @default.
- W192652587 creator A5016540152 @default.
- W192652587 creator A5041913577 @default.
- W192652587 creator A5057498711 @default.
- W192652587 date "1999-12-06" @default.
- W192652587 modified "2023-09-23" @default.
- W192652587 title "Relating semantic models for the object calculus" @default.
- W192652587 hasPublicationYear "1999" @default.
- W192652587 type Work @default.
- W192652587 sameAs 192652587 @default.
- W192652587 citedByCount "1" @default.
- W192652587 crossrefType "journal-article" @default.
- W192652587 hasAuthorship W192652587A5004618704 @default.
- W192652587 hasAuthorship W192652587A5016540152 @default.
- W192652587 hasAuthorship W192652587A5041913577 @default.
- W192652587 hasAuthorship W192652587A5057498711 @default.
- W192652587 hasConcept C118615104 @default.
- W192652587 hasConcept C121332964 @default.
- W192652587 hasConcept C132525143 @default.
- W192652587 hasConcept C154690210 @default.
- W192652587 hasConcept C162838799 @default.
- W192652587 hasConcept C17744445 @default.
- W192652587 hasConcept C199360897 @default.
- W192652587 hasConcept C199539241 @default.
- W192652587 hasConcept C2779151265 @default.
- W192652587 hasConcept C33923547 @default.
- W192652587 hasConcept C41008148 @default.
- W192652587 hasConcept C54732982 @default.
- W192652587 hasConcept C558772884 @default.
- W192652587 hasConcept C61797465 @default.
- W192652587 hasConcept C62520636 @default.
- W192652587 hasConcept C77906462 @default.
- W192652587 hasConcept C80444323 @default.
- W192652587 hasConceptScore W192652587C118615104 @default.
- W192652587 hasConceptScore W192652587C121332964 @default.
- W192652587 hasConceptScore W192652587C132525143 @default.
- W192652587 hasConceptScore W192652587C154690210 @default.
- W192652587 hasConceptScore W192652587C162838799 @default.
- W192652587 hasConceptScore W192652587C17744445 @default.
- W192652587 hasConceptScore W192652587C199360897 @default.
- W192652587 hasConceptScore W192652587C199539241 @default.
- W192652587 hasConceptScore W192652587C2779151265 @default.
- W192652587 hasConceptScore W192652587C33923547 @default.
- W192652587 hasConceptScore W192652587C41008148 @default.
- W192652587 hasConceptScore W192652587C54732982 @default.
- W192652587 hasConceptScore W192652587C558772884 @default.
- W192652587 hasConceptScore W192652587C61797465 @default.
- W192652587 hasConceptScore W192652587C62520636 @default.
- W192652587 hasConceptScore W192652587C77906462 @default.
- W192652587 hasConceptScore W192652587C80444323 @default.
- W192652587 hasIssue "1" @default.
- W192652587 hasLocation W1926525871 @default.
- W192652587 hasOpenAccess W192652587 @default.
- W192652587 hasPrimaryLocation W1926525871 @default.
- W192652587 hasRelatedWork W1512888794 @default.
- W192652587 hasRelatedWork W1517691308 @default.
- W192652587 hasRelatedWork W1521986062 @default.
- W192652587 hasRelatedWork W1533534652 @default.
- W192652587 hasRelatedWork W1540190633 @default.
- W192652587 hasRelatedWork W1542464114 @default.
- W192652587 hasRelatedWork W1570628901 @default.
- W192652587 hasRelatedWork W1581739647 @default.
- W192652587 hasRelatedWork W1586774579 @default.
- W192652587 hasRelatedWork W176560628 @default.
- W192652587 hasRelatedWork W1918523847 @default.
- W192652587 hasRelatedWork W1977202104 @default.
- W192652587 hasRelatedWork W1983495369 @default.
- W192652587 hasRelatedWork W1996752588 @default.
- W192652587 hasRelatedWork W2077004427 @default.
- W192652587 hasRelatedWork W2161662583 @default.
- W192652587 hasRelatedWork W2567604651 @default.
- W192652587 hasRelatedWork W3005997194 @default.
- W192652587 hasRelatedWork W3149415977 @default.
- W192652587 hasRelatedWork W572432674 @default.
- W192652587 hasVolume "230" @default.
- W192652587 isParatext "false" @default.
- W192652587 isRetracted "false" @default.
- W192652587 magId "192652587" @default.
- W192652587 workType "article" @default.