mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Ordering Networks
Mälardalen University, School of Education, Culture and Communication. Mälardalen University, School of Education, Culture and Communication, Educational Sciences and Mathematics. (Matematik/tillämpad matematik)ORCID iD: 0000-0001-6140-180X
2014 (English)Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
2014.
Keyword [en]
rewriting, network, PROP, PROP order
National Category
Algebra and Logic
Research subject
Mathematics/Applied Mathematics
Identifiers
URN: urn:nbn:se:mdh:diva-25103OAI: oai:DiVA.org:mdh-25103DiVA: diva2:721605
Conference
14th International Workshop on Termination (WST), Wien, July 17–18, 2014
Available from: 2014-06-04 Created: 2014-06-04 Last updated: 2014-06-24Bibliographically approved

Open Access in DiVA

fulltext(352 kB)27 downloads
File information
File name FULLTEXT01.pdfFile size 352 kBChecksum SHA-512
d3d0fecf72b02833577a90d24b8a8c0bed10bb64889bf79288366047caacca4cfe0f3037017ef3f718359456d13f40183c469fe912e34a2c33b22a07c9f19fd8
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Hellström, Lars
By organisation
School of Education, Culture and CommunicationEducational Sciences and Mathematics
Algebra and Logic

Search outside of DiVA

GoogleGoogle Scholar
Total: 27 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 77 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf