DOI10.1016/j.entcs.2008.10.028zbMath1277.68126MaRDI QIDQ2864503
Simon Perdrix
Publication date: 6 December 2013 Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/j.entcs.2008.10.028
zbMATH Keywords
admissable transformation; QIL; quantum programming semantics
Mathematics Subject Classification ID
68Q55: Semantics in the theory of computing
81P70: Quantum coding (general)
Uses Software