Automated Reasoning with Tangles: towards Quantum Verification Applications.

Andrew Fish, Alexei Lisitsa

Browse the full LPAR paper archive.