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
Ordering Networks
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. (Matematik/tillämpad matematik)ORCID-id: 0000-0001-6140-180X
2014 (engelsk)Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

This extended abstract discusses the problem of defining quasi-orders that are suitable for use with network rewriting. The author’s primary interest is in using network rewriting as a tool for equational reasoning in algebraic theories with both operations and co-operations.

sted, utgiver, år, opplag, sider
2014.
Emneord [en]
rewriting, network, PROP, PROP order
HSV kategori
Forskningsprogram
matematik/tillämpad matematik
Identifikatorer
URN: urn:nbn:se:mdh:diva-25103OAI: oai:DiVA.org:mdh-25103DiVA, id: diva2:721605
Konferanse
14th International Workshop on Termination (WST), Wien, July 17–18, 2014
Tilgjengelig fra: 2014-06-04 Laget: 2014-06-04 Sist oppdatert: 2014-06-24bibliografisk kontrollert

Open Access i DiVA

fulltext(352 kB)38 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 352 kBChecksum SHA-512
d3d0fecf72b02833577a90d24b8a8c0bed10bb64889bf79288366047caacca4cfe0f3037017ef3f718359456d13f40183c469fe912e34a2c33b22a07c9f19fd8
Type fulltextMimetype application/pdf

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: 38 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: 97 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