Automated equivalence checking of quantum information systems

Ebrahim Ardeshir-Larijani. Automated equivalence checking of quantum information systems. PhD thesis, University of Warwick, UK, 2014. [doi]

Abstract

Abstract is missing.