mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Ordered and Combinatorial Structures for Higher-Dimensional Rewriting
Mälardalens högskola, Akademin för utbildning, kultur och kommunikation, Utbildningsvetenskap och Matematik. (MAM)ORCID-id: 0000-0001-6140-180X
2016 (engelsk)Inngår i: / [ed] Samuel Mimram, 2016Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

In principle, rewriting is the logically pure activity of transforming abstract expressions according to fully formalised rules, but in practice there is a significant interplay between abstract rules, more-or-less concrete interpretations, and a variety of book-keeping devices that all need to fit together if the rewriting process is to yield results. This paper presents elementary realisations of book-keeping and other formalising devices that are useful in higher-dimensional rewriting, with a focus on the "2-dimensional" case (PROPs and other types of monoidal category). In particular, it explains how one may construct a variety of ordering relations on these object that are sensitive to differences in the underlying graph structure of the objects being rewritten. It also shows how the formal feedback operation can be used to handle nonconvex redexes, which is a phenomenon of higher-dimensional rewriting that lacks a counterpart in word or term rewriting.

sted, utgiver, år, opplag, sider
2016.
Emneord [en]
rewriting, network rewriting, PROP, monoidal category, order relation, biaffine PROP, PROP with formal feedback
HSV kategori
Forskningsprogram
matematik/tillämpad matematik
Identifikatorer
URN: urn:nbn:se:mdh:diva-33075OAI: oai:DiVA.org:mdh-33075DiVA, id: diva2:962976
Konferanse
Second edition of the workshop on Higher-Dimensional Rewriting and Applications 22-26 June 2016, Porto, Portugal http://hdra.gforge.inria.fr/ Co-located with the FSCD conference
Merknad

These proceedings were distributed (electronically on USB stick) to all participants at the FSCD conference and associated workshops.

Tilgjengelig fra: 2016-09-07 Laget: 2016-09-06 Sist oppdatert: 2017-09-28bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Personposter BETA

Hellström, Lars

Søk i DiVA

Av forfatter/redaktør
Hellström, Lars
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 58 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf