@inproceedings{ICGT-2015-KissingerZ,
author = "Aleks Kissinger and Vladimir Zamdzhiev",
booktitle = "{Proceedings of the Eighth International Conference on Graph Transformation, Held as Part of STAF}",
doi = "10.1007/978-3-319-21145-9_9",
isbn = "978-3-319-21144-2",
pages = "138--154",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Equational Reasoning with Context-Free Families of String Diagrams}",
volume = 9151,
year = 2015,
}
Tags: