PyZX: Large Scale Automated Diagrammatic Reasoning

Kissinger A, van de Wetering J
2020
Conference paper
Journal:
Electronic Proceedings in Theoretical Computer Science
Volume:
318
,
Open Publishing Association
,
pp.
229 - 241
No abstract available
DOI
10.4204/eptcs.318.14