Skip to main content

A diagrammatic axiomatisation of fermionic quantum circuits

Giovanni de Felice‚ Amar Hadzihanovic and Kang Feng Ng

Address
Dagstuhl‚ Germany
Book Title
3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)
Editor
Helene Kirchner
ISBN
978−3−95977−077−4
Series
Leibniz International Proceedings in Informatics (LIPIcs)
Volume
108
Year
2018