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
Critical Pairs in Network Rewriting
Mälardalens högskola, Akademin för utbildning, kultur och kommunikation. Mälardalens högskola, Akademin för utbildning, kultur och kommunikation, Utbildningsvetenskap och Matematik. (Mathematics and Applied Mathematics)ORCID-id: 0000-0001-6140-180X
2014 (engelsk)Inngår i: IWC 2014: 3rd International Workshop on Confluence / [ed] Takahito Aoto & Delia Kesner, 2014, s. 9-13Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

This extended abstract breifly introduces rewriting of networks (directed acyclic graphs with the extra structure needed to serve as expressions for PROducts and Permutations categories) and describes the critical pairs aspects of this theory. The author's interest in these comes from wanting to do equational reasoning in algebraic theories (such as Hopf algebras) that mix ordinary operations with co-operations; networks then serve as a formalism for expressions.

The main message is to point out two phenomena that arise in network rewriting. The first is that of non-convexity of rules, wherein the left hand side of a rule need not be syntactically similar to a symbol in any extension of the underlying signature. The second is one of critical pairs potentially arising where two redexes wrap around each other even when they do not intersect.

sted, utgiver, år, opplag, sider
2014. s. 9-13
Emneord [en]
network, PROP, critical pair, ambiguity, confluence, wrap ambiguity
HSV kategori
Forskningsprogram
matematik/tillämpad matematik
Identifikatorer
URN: urn:nbn:se:mdh:diva-26109OAI: oai:DiVA.org:mdh-26109DiVA, id: diva2:755875
Konferanse
IWC 2014 (3rd International Workshop on Confluence), part of Vienna Summer of Logic 2014, Vienna, 13 July 2014
Tilgjengelig fra: 2014-10-15 Laget: 2014-10-15 Sist oppdatert: 2014-11-06bibliografisk kontrollert

Open Access i DiVA

fulltext(213 kB)89 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 213 kBChecksum SHA-512
418ff085205ec98d315ab9f61c060676ecdf55fdfc2e737d8fec718c9cfecb6d6a1a9edbf1529f15407b97043457839eb7ab2ef754963b6f9da4b5144275afa0
Type fulltextMimetype application/pdf

Andre lenker

Full text proceedingsConference web site

Personposter BETA

Hellström, Lars

Søk i DiVA

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

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 89 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

urn-nbn

Altmetric

urn-nbn
Totalt: 85 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