mdh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
2014.
Nyckelord [en]
rewriting, network, PROP, PROP order
Nationell ämneskategori
Algebra och logik
Forskningsämne
matematik/tillämpad matematik
Identifikatorer
URN: urn:nbn:se:mdh:diva-25103OAI: oai:DiVA.org:mdh-25103DiVA, id: diva2:721605
Konferens
14th International Workshop on Termination (WST), Wien, July 17–18, 2014
Tillgänglig från: 2014-06-04 Skapad: 2014-06-04 Senast uppdaterad: 2014-06-24Bibliografiskt granskad

Open Access i DiVA

fulltext(352 kB)38 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 352 kBChecksumma SHA-512
d3d0fecf72b02833577a90d24b8a8c0bed10bb64889bf79288366047caacca4cfe0f3037017ef3f718359456d13f40183c469fe912e34a2c33b22a07c9f19fd8
Typ fulltextMimetyp application/pdf

Personposter BETA

Hellström, Lars

Sök vidare i DiVA

Av författaren/redaktören
Hellström, Lars
Av organisationen
Akademin för utbildning, kultur och kommunikationUtbildningsvetenskap och Matematik
Algebra och logik

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 38 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 97 träffar
RefereraExporteraLänk till posten
Permanent länk

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