2014 (English)Conference paper (Refereed)
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
rewriting, network, PROP, PROP order
Algebra and Logic
Research subject Mathematics/Applied Mathematics
IdentifiersURN: urn:nbn:se:mdh:diva-25103OAI: oai:DiVA.org:mdh-25103DiVA: diva2:721605
14th International Workshop on Termination (WST), Wien, July 17–18, 2014