Critical Pairs in Network Rewriting
Author: Lars Hellström
Paper Information
| Title: | Critical Pairs in Network Rewriting |
| Authors: | Lars Hellström |
| Proceedings: | IWC 2014 Workshop Proceedings |
| Editors: | Takahito Aoto and Delia Kesner |
| Keywords: | network rewriting, critical pair, nonconvex subexpression, wrap ambiguity |
| Abstract: | ABSTRACT. This extended abstract breifly introduces rewriting of networks (directed acyclic graphs with the extra structure needed to serve as expressions for PROducts and Permutations categories) and describes the critical pairs aspects of this theory. |
| Pages: | 1 |
| Talk: | Jul 13 12:00 |
| Paper: |  |