A Diagrammatic Axiomatisation for Qubit Entanglement
Amar Hadzihasanovic
Book Title
Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science
Pages
573–584
Publisher
IEEE Computer Society
Year
2015
Amar Hadzihasanovic