Preprint
Aug 2026
Completeness for flow-preserving rewrite rules
This work extends the set of flow-preserving rules appearing in the literature with a few new rules and extensions of existing rules, and shows that the resulting rule set is complete for all flow-preserving translations between ZX-diagrams of appropriate form.
Miriam Backens, S. Perdrix
· 3 citations