Completeness and the ZX-calculus

<p>Graphical languages offer intuitive and rigorous formalisms for quantum physics. They can be used to simplify expressions, derive equalities, and do computations. Yet in order to replace conventional formalisms, rigour alone is not sufficient: the new formalisms also need to have equivalent...

Descrición completa

Detalles Bibliográficos
Autor Principal: Backens, M
Outros autores: Coecke, B
Formato: Thesis
Idioma:English
Publicado: 2015
Subjects: