Birkhoff Style Proof Systems for Hybrid-Dynamic Quantum Logic.

Daniel Gaina

Browse the full AiML paper archive.