Equivalences in Euler-based diagram systems through normal forms (2014)

First Author: Fish A

Attributed to: Automatic Diagram Generation funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1112/s1461157014000114

Publication URI: http://dx.doi.org/10.1112/s1461157014000114

Type: Journal Article/Review

Parent Publication: LMS Journal of Computation and Mathematics

Issue: 1