Skip to main content

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