Matches in SemOpenAlex for { <https://semopenalex.org/work/W2930742040> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- W2930742040 abstract "The definition herein of the Graph Path Ordering (GPO) on certain graph expressions is inspired by that of the Recursive Path Ordering (RPO), and enjoys all those properties that have made RPO popular, in particular, well-foundedness and monotonicity on variable-free terms.We are indeed interested in a generalization of algebraic expressions called operadic expressions, which are finite graphs each vertex of which is labelled by a function symbol, the arity of which governs the number of vertices it relates to in the graph. These graphs are seen here as terms with sharing and back-arrows. Operadic expressions arethemselves multiplied (an associative operation) to form monomials, which are in turn summed up (an associative commutative operation) to form polynomials. Operadic expressions and their polynomials occur in algebraic topology, and in various areas of computer science, notably concurrency and type theory. Rewriting basic operadic expressions isvery much like rewriting algebraic expressions, while rewriting their monomials and polynomials is very much like the Groebner basis theory. GPO provides an initial building block for computing with operadic expressions and their polynomials." @default.
- W2930742040 created "2019-04-11" @default.
- W2930742040 creator A5004958754 @default.
- W2930742040 creator A5039993352 @default.
- W2930742040 creator A5045195163 @default.
- W2930742040 date "2016-06-25" @default.
- W2930742040 modified "2023-10-16" @default.
- W2930742040 title "Well-founded Path Orderings for Drags" @default.
- W2930742040 cites W1871095937 @default.
- W2930742040 cites W2101016798 @default.
- W2930742040 cites W8365111 @default.
- W2930742040 hasPublicationYear "2016" @default.
- W2930742040 type Work @default.
- W2930742040 sameAs 2930742040 @default.
- W2930742040 citedByCount "0" @default.
- W2930742040 crossrefType "proceedings-article" @default.
- W2930742040 hasAuthorship W2930742040A5004958754 @default.
- W2930742040 hasAuthorship W2930742040A5039993352 @default.
- W2930742040 hasAuthorship W2930742040A5045195163 @default.
- W2930742040 hasBestOaLocation W29307420401 @default.
- W2930742040 hasConcept C199360897 @default.
- W2930742040 hasConcept C2777735758 @default.
- W2930742040 hasConcept C41008148 @default.
- W2930742040 hasConceptScore W2930742040C199360897 @default.
- W2930742040 hasConceptScore W2930742040C2777735758 @default.
- W2930742040 hasConceptScore W2930742040C41008148 @default.
- W2930742040 hasLocation W29307420401 @default.
- W2930742040 hasLocation W29307420402 @default.
- W2930742040 hasLocation W29307420403 @default.
- W2930742040 hasOpenAccess W2930742040 @default.
- W2930742040 hasPrimaryLocation W29307420401 @default.
- W2930742040 hasRelatedWork W1596801655 @default.
- W2930742040 hasRelatedWork W2130043461 @default.
- W2930742040 hasRelatedWork W2350741829 @default.
- W2930742040 hasRelatedWork W2358668433 @default.
- W2930742040 hasRelatedWork W2376932109 @default.
- W2930742040 hasRelatedWork W2382290278 @default.
- W2930742040 hasRelatedWork W2390279801 @default.
- W2930742040 hasRelatedWork W2748952813 @default.
- W2930742040 hasRelatedWork W2899084033 @default.
- W2930742040 hasRelatedWork W2530322880 @default.
- W2930742040 isParatext "false" @default.
- W2930742040 isRetracted "false" @default.
- W2930742040 magId "2930742040" @default.
- W2930742040 workType "article" @default.