Two complete axiomatisations of pure-state qubit quantum computing.

Amar Hadzihasanovic, Kang Feng Ng, Quanlong Wang

Browse the full LICS paper archive.