Matches in SemOpenAlex for { <https://semopenalex.org/work/W2761671779> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2761671779 endingPage "180" @default.
- W2761671779 startingPage "169" @default.
- W2761671779 abstract "We present a form of algebraic reasoning for computational objects which are expressed as graphs. Edges describe the flow of data between primitive operations which are represented by vertices. These graphs have an interface made of half-edges (edges which are drawn with an unconnected end) and enjoy rich compositional principles by connecting graphs along these half-edges. In particular, this allows equations and rewrite rules to be specified between graphs. Particular computational models can then be encoded as an axiomatic set of such rules. Further rules can be derived graphically and rewriting can be used to simulate the dynamics of a computational system, e.g. evaluating a program on an input. Examples of models which can be formalised in this way include traditional electronic circuits as well as recent categorical accounts of quantum information." @default.
- W2761671779 created "2017-10-20" @default.
- W2761671779 creator A5023841122 @default.
- W2761671779 creator A5071940284 @default.
- W2761671779 creator A5072741724 @default.
- W2761671779 date "2010-06-09" @default.
- W2761671779 modified "2023-09-30" @default.
- W2761671779 title "Open Graphs and Computational Reasoning" @default.
- W2761671779 cites W1497975445 @default.
- W2761671779 cites W1518708253 @default.
- W2761671779 cites W1968386045 @default.
- W2761671779 cites W1969001723 @default.
- W2761671779 cites W1986649132 @default.
- W2761671779 cites W204235972 @default.
- W2761671779 cites W2057271907 @default.
- W2761671779 cites W2119180894 @default.
- W2761671779 cites W2134207475 @default.
- W2761671779 cites W2165844972 @default.
- W2761671779 cites W2294530123 @default.
- W2761671779 cites W3105507374 @default.
- W2761671779 doi "https://doi.org/10.4204/eptcs.26.16" @default.
- W2761671779 hasPublicationYear "2010" @default.
- W2761671779 type Work @default.
- W2761671779 sameAs 2761671779 @default.
- W2761671779 citedByCount "16" @default.
- W2761671779 countsByYear W27616717792012 @default.
- W2761671779 countsByYear W27616717792013 @default.
- W2761671779 countsByYear W27616717792014 @default.
- W2761671779 countsByYear W27616717792015 @default.
- W2761671779 countsByYear W27616717792018 @default.
- W2761671779 countsByYear W27616717792019 @default.
- W2761671779 countsByYear W27616717792022 @default.
- W2761671779 countsByYear W27616717792023 @default.
- W2761671779 crossrefType "journal-article" @default.
- W2761671779 hasAuthorship W2761671779A5023841122 @default.
- W2761671779 hasAuthorship W2761671779A5071940284 @default.
- W2761671779 hasAuthorship W2761671779A5072741724 @default.
- W2761671779 hasBestOaLocation W27616717791 @default.
- W2761671779 hasConcept C113843644 @default.
- W2761671779 hasConcept C11413529 @default.
- W2761671779 hasConcept C119857082 @default.
- W2761671779 hasConcept C129307140 @default.
- W2761671779 hasConcept C134306372 @default.
- W2761671779 hasConcept C154690210 @default.
- W2761671779 hasConcept C157915830 @default.
- W2761671779 hasConcept C167729594 @default.
- W2761671779 hasConcept C173608175 @default.
- W2761671779 hasConcept C177264268 @default.
- W2761671779 hasConcept C179799912 @default.
- W2761671779 hasConcept C199360897 @default.
- W2761671779 hasConcept C2524010 @default.
- W2761671779 hasConcept C33923547 @default.
- W2761671779 hasConcept C41008148 @default.
- W2761671779 hasConcept C5274069 @default.
- W2761671779 hasConcept C80444323 @default.
- W2761671779 hasConcept C9376300 @default.
- W2761671779 hasConceptScore W2761671779C113843644 @default.
- W2761671779 hasConceptScore W2761671779C11413529 @default.
- W2761671779 hasConceptScore W2761671779C119857082 @default.
- W2761671779 hasConceptScore W2761671779C129307140 @default.
- W2761671779 hasConceptScore W2761671779C134306372 @default.
- W2761671779 hasConceptScore W2761671779C154690210 @default.
- W2761671779 hasConceptScore W2761671779C157915830 @default.
- W2761671779 hasConceptScore W2761671779C167729594 @default.
- W2761671779 hasConceptScore W2761671779C173608175 @default.
- W2761671779 hasConceptScore W2761671779C177264268 @default.
- W2761671779 hasConceptScore W2761671779C179799912 @default.
- W2761671779 hasConceptScore W2761671779C199360897 @default.
- W2761671779 hasConceptScore W2761671779C2524010 @default.
- W2761671779 hasConceptScore W2761671779C33923547 @default.
- W2761671779 hasConceptScore W2761671779C41008148 @default.
- W2761671779 hasConceptScore W2761671779C5274069 @default.
- W2761671779 hasConceptScore W2761671779C80444323 @default.
- W2761671779 hasConceptScore W2761671779C9376300 @default.
- W2761671779 hasLocation W27616717791 @default.
- W2761671779 hasLocation W27616717792 @default.
- W2761671779 hasLocation W27616717793 @default.
- W2761671779 hasOpenAccess W2761671779 @default.
- W2761671779 hasPrimaryLocation W27616717791 @default.
- W2761671779 hasRelatedWork W1538068159 @default.
- W2761671779 hasRelatedWork W1558540482 @default.
- W2761671779 hasRelatedWork W1569914145 @default.
- W2761671779 hasRelatedWork W1590684856 @default.
- W2761671779 hasRelatedWork W1643969985 @default.
- W2761671779 hasRelatedWork W1975449381 @default.
- W2761671779 hasRelatedWork W2900635632 @default.
- W2761671779 hasRelatedWork W3113024437 @default.
- W2761671779 hasRelatedWork W4226436121 @default.
- W2761671779 hasRelatedWork W8633071 @default.
- W2761671779 hasVolume "26" @default.
- W2761671779 isParatext "false" @default.
- W2761671779 isRetracted "false" @default.
- W2761671779 magId "2761671779" @default.
- W2761671779 workType "article" @default.