Matches in SemOpenAlex for { <https://semopenalex.org/work/W1589900818> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1589900818 abstract "A theory is developed which uses (directed acyclic graphs with some extra structure) as a formalism for expressions in multilinear algebra. It is shown that this formalism is valid for arbitrary PROPs (short for 'PROducts and Permutations category'), and conversely that the PROP axioms are implicit in the concept of evaluating a network. Ordinary terms and operads constitute the special case that the graph underlying the network is a rooted tree. Furthermore a rewriting theory for networks is developed. Included in this is a subexpression concept for which is given both algebraic and effective graph-theoretical characterisations, a construction of reduction maps from rewriting systems, and an analysis of the obstructions to confluence that can occur. Several Diamond Lemmas for this rewriting theory are given. In addition there is much supporting material on various related subjects. In particular there is a toolbox for the construction of custom orders on the free PROP, so that an order can be tailored to suit a specific rewriting system. Other subjects treated are the abstract index notation in a general PROP context and the use of feedbacks (sometimes called traces) in PROPs." @default.
- W1589900818 created "2016-06-24" @default.
- W1589900818 creator A5081668693 @default.
- W1589900818 date "2012-04-11" @default.
- W1589900818 modified "2023-09-27" @default.
- W1589900818 title "Network Rewriting I : The Foundation" @default.
- W1589900818 cites W1579213680 @default.
- W1589900818 cites W1668151915 @default.
- W1589900818 cites W2048894573 @default.
- W1589900818 cites W2057271907 @default.
- W1589900818 cites W2102008187 @default.
- W1589900818 cites W2799037673 @default.
- W1589900818 cites W2912196347 @default.
- W1589900818 hasPublicationYear "2012" @default.
- W1589900818 type Work @default.
- W1589900818 sameAs 1589900818 @default.
- W1589900818 citedByCount "2" @default.
- W1589900818 countsByYear W15899008182014 @default.
- W1589900818 crossrefType "posted-content" @default.
- W1589900818 hasAuthorship W1589900818A5081668693 @default.
- W1589900818 hasConcept C108710211 @default.
- W1589900818 hasConcept C118615104 @default.
- W1589900818 hasConcept C132525143 @default.
- W1589900818 hasConcept C136119220 @default.
- W1589900818 hasConcept C142362112 @default.
- W1589900818 hasConcept C153349607 @default.
- W1589900818 hasConcept C154690210 @default.
- W1589900818 hasConcept C167729594 @default.
- W1589900818 hasConcept C199360897 @default.
- W1589900818 hasConcept C202444582 @default.
- W1589900818 hasConcept C2524010 @default.
- W1589900818 hasConcept C33923547 @default.
- W1589900818 hasConcept C41008148 @default.
- W1589900818 hasConcept C45357846 @default.
- W1589900818 hasConcept C54732982 @default.
- W1589900818 hasConcept C558565934 @default.
- W1589900818 hasConcept C558772884 @default.
- W1589900818 hasConcept C73301696 @default.
- W1589900818 hasConcept C77906462 @default.
- W1589900818 hasConcept C80444323 @default.
- W1589900818 hasConcept C94375191 @default.
- W1589900818 hasConceptScore W1589900818C108710211 @default.
- W1589900818 hasConceptScore W1589900818C118615104 @default.
- W1589900818 hasConceptScore W1589900818C132525143 @default.
- W1589900818 hasConceptScore W1589900818C136119220 @default.
- W1589900818 hasConceptScore W1589900818C142362112 @default.
- W1589900818 hasConceptScore W1589900818C153349607 @default.
- W1589900818 hasConceptScore W1589900818C154690210 @default.
- W1589900818 hasConceptScore W1589900818C167729594 @default.
- W1589900818 hasConceptScore W1589900818C199360897 @default.
- W1589900818 hasConceptScore W1589900818C202444582 @default.
- W1589900818 hasConceptScore W1589900818C2524010 @default.
- W1589900818 hasConceptScore W1589900818C33923547 @default.
- W1589900818 hasConceptScore W1589900818C41008148 @default.
- W1589900818 hasConceptScore W1589900818C45357846 @default.
- W1589900818 hasConceptScore W1589900818C54732982 @default.
- W1589900818 hasConceptScore W1589900818C558565934 @default.
- W1589900818 hasConceptScore W1589900818C558772884 @default.
- W1589900818 hasConceptScore W1589900818C73301696 @default.
- W1589900818 hasConceptScore W1589900818C77906462 @default.
- W1589900818 hasConceptScore W1589900818C80444323 @default.
- W1589900818 hasConceptScore W1589900818C94375191 @default.
- W1589900818 hasLocation W15899008181 @default.
- W1589900818 hasOpenAccess W1589900818 @default.
- W1589900818 hasPrimaryLocation W15899008181 @default.
- W1589900818 hasRelatedWork W100816062 @default.
- W1589900818 hasRelatedWork W1590378845 @default.
- W1589900818 hasRelatedWork W1893656251 @default.
- W1589900818 hasRelatedWork W199863285 @default.
- W1589900818 hasRelatedWork W2112971523 @default.
- W1589900818 hasRelatedWork W2135662641 @default.
- W1589900818 hasRelatedWork W2151159855 @default.
- W1589900818 hasRelatedWork W2264495851 @default.
- W1589900818 hasRelatedWork W2406135972 @default.
- W1589900818 hasRelatedWork W2466928235 @default.
- W1589900818 hasRelatedWork W2736955251 @default.
- W1589900818 hasRelatedWork W2743305380 @default.
- W1589900818 hasRelatedWork W2882677335 @default.
- W1589900818 hasRelatedWork W3021705585 @default.
- W1589900818 hasRelatedWork W3073928042 @default.
- W1589900818 hasRelatedWork W3091502386 @default.
- W1589900818 hasRelatedWork W3103260150 @default.
- W1589900818 hasRelatedWork W3145460492 @default.
- W1589900818 hasRelatedWork W359722764 @default.
- W1589900818 hasRelatedWork W600186323 @default.
- W1589900818 isParatext "false" @default.
- W1589900818 isRetracted "false" @default.
- W1589900818 magId "1589900818" @default.
- W1589900818 workType "article" @default.