Computing Critical Pairs in 2-Dimensional Rewriting Systems (2010)

by S Mimram
Venue:In Proceedings of the 21st RTA, volume 6 of LIPIcs