Equivalences in Euler-based diagram systems through normal forms

Andrew Fish, John Taylor 0001. Equivalences in Euler-based diagram systems through normal forms. LMS J. Comput. Math., 17(1):431-484, 2014. [doi]

Authors

Andrew Fish

This author has not been identified. Look up 'Andrew Fish' in Google

John Taylor 0001

This author has not been identified. Look up 'John Taylor 0001' in Google