Matches in SemOpenAlex for { <https://semopenalex.org/work/W3103233209> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W3103233209 abstract "The relationship between Term Graph Rewriting and Term Rewriting is well understood: a single term graph reduction may correspond to several term reductions, due to sharing. It is also known that if term graphs are allowed to contain cycles, then one term graph reduction may correspond to infinitely many term reductions. We stress that this fact can be interpreted in two ways. According to the sequential interpretation, a term graph reduction corresponds to an infinite sequence of term reductions, as formalized by Kennaway et.al. using strongly converging derivations over the complete metric space of infinite terms. Instead according to the parallel interpretation a term graph reduction corresponds to the parallel reduction of an infinite set of redexes in a rational term. We formalize the latter notion by exploiting the complete partial order of infinite and possibly partial terms, and we stress that this interpretation allows to explain the result of reducing circular redexes in several approaches to term graph rewriting." @default.
- W3103233209 created "2020-11-23" @default.
- W3103233209 creator A5002462356 @default.
- W3103233209 creator A5062051157 @default.
- W3103233209 date "2011-02-11" @default.
- W3103233209 modified "2023-09-23" @default.
- W3103233209 title "Term Graph Rewriting and Parallel Term Rewriting" @default.
- W3103233209 cites W117733150 @default.
- W3103233209 cites W1499822017 @default.
- W3103233209 cites W1539163926 @default.
- W3103233209 cites W1546346749 @default.
- W3103233209 cites W1557619244 @default.
- W3103233209 cites W158097575 @default.
- W3103233209 cites W1585801412 @default.
- W3103233209 cites W1918523847 @default.
- W3103233209 cites W1967205597 @default.
- W3103233209 cites W1969050460 @default.
- W3103233209 cites W1974010254 @default.
- W3103233209 cites W2006468185 @default.
- W3103233209 cites W2022014483 @default.
- W3103233209 cites W2025170645 @default.
- W3103233209 cites W2031130770 @default.
- W3103233209 cites W2061786858 @default.
- W3103233209 cites W2063068243 @default.
- W3103233209 cites W2075052434 @default.
- W3103233209 cites W2092142168 @default.
- W3103233209 cites W2120713972 @default.
- W3103233209 cites W2135341602 @default.
- W3103233209 cites W2151445397 @default.
- W3103233209 cites W2161662583 @default.
- W3103233209 doi "https://doi.org/10.4204/eptcs.48.3" @default.
- W3103233209 hasPublicationYear "2011" @default.
- W3103233209 type Work @default.
- W3103233209 sameAs 3103233209 @default.
- W3103233209 citedByCount "3" @default.
- W3103233209 countsByYear W31032332092012 @default.
- W3103233209 crossrefType "journal-article" @default.
- W3103233209 hasAuthorship W3103233209A5002462356 @default.
- W3103233209 hasAuthorship W3103233209A5062051157 @default.
- W3103233209 hasBestOaLocation W31032332091 @default.
- W3103233209 hasConcept C111335779 @default.
- W3103233209 hasConcept C114614502 @default.
- W3103233209 hasConcept C118615104 @default.
- W3103233209 hasConcept C121332964 @default.
- W3103233209 hasConcept C132525143 @default.
- W3103233209 hasConcept C154690210 @default.
- W3103233209 hasConcept C199360897 @default.
- W3103233209 hasConcept C2524010 @default.
- W3103233209 hasConcept C33923547 @default.
- W3103233209 hasConcept C41008148 @default.
- W3103233209 hasConcept C42383842 @default.
- W3103233209 hasConcept C558772884 @default.
- W3103233209 hasConcept C61797465 @default.
- W3103233209 hasConcept C62520636 @default.
- W3103233209 hasConcept C77906462 @default.
- W3103233209 hasConcept C80444323 @default.
- W3103233209 hasConcept C97042676 @default.
- W3103233209 hasConceptScore W3103233209C111335779 @default.
- W3103233209 hasConceptScore W3103233209C114614502 @default.
- W3103233209 hasConceptScore W3103233209C118615104 @default.
- W3103233209 hasConceptScore W3103233209C121332964 @default.
- W3103233209 hasConceptScore W3103233209C132525143 @default.
- W3103233209 hasConceptScore W3103233209C154690210 @default.
- W3103233209 hasConceptScore W3103233209C199360897 @default.
- W3103233209 hasConceptScore W3103233209C2524010 @default.
- W3103233209 hasConceptScore W3103233209C33923547 @default.
- W3103233209 hasConceptScore W3103233209C41008148 @default.
- W3103233209 hasConceptScore W3103233209C42383842 @default.
- W3103233209 hasConceptScore W3103233209C558772884 @default.
- W3103233209 hasConceptScore W3103233209C61797465 @default.
- W3103233209 hasConceptScore W3103233209C62520636 @default.
- W3103233209 hasConceptScore W3103233209C77906462 @default.
- W3103233209 hasConceptScore W3103233209C80444323 @default.
- W3103233209 hasConceptScore W3103233209C97042676 @default.
- W3103233209 hasLocation W31032332091 @default.
- W3103233209 hasLocation W31032332092 @default.
- W3103233209 hasLocation W31032332093 @default.
- W3103233209 hasLocation W31032332094 @default.
- W3103233209 hasLocation W31032332095 @default.
- W3103233209 hasOpenAccess W3103233209 @default.
- W3103233209 hasPrimaryLocation W31032332091 @default.
- W3103233209 hasRelatedWork W1540719552 @default.
- W3103233209 hasRelatedWork W1603503062 @default.
- W3103233209 hasRelatedWork W1631235411 @default.
- W3103233209 hasRelatedWork W1949546655 @default.
- W3103233209 hasRelatedWork W2001207673 @default.
- W3103233209 hasRelatedWork W2016974180 @default.
- W3103233209 hasRelatedWork W2047973569 @default.
- W3103233209 hasRelatedWork W2095668988 @default.
- W3103233209 hasRelatedWork W2167843643 @default.
- W3103233209 hasRelatedWork W2275874706 @default.
- W3103233209 isParatext "false" @default.
- W3103233209 isRetracted "false" @default.
- W3103233209 magId "3103233209" @default.
- W3103233209 workType "article" @default.