Change search
ReferencesLink to record
Permanent link

Direct link
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 (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
Keyword [en]
rewriting, network, PROP, PROP order
National Category
Algebra and Logic
Research subject
Mathematics/Applied Mathematics
URN: urn:nbn:se:mdh:diva-25103OAI: diva2:721605
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)21 downloads
File information
File name FULLTEXT01.pdfFile size 352 kBChecksum SHA-512
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: 21 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: 70 hits
ReferencesLink to record
Permanent link

Direct link