Skip to main content

Equational reasoning with context−free families of string diagrams

Aleks Kissinger and Vladimir Zamdzhiev

Book Title
Proceedings of the International Conference on Graph Transformation (ICGT)
Year
2015