Quantum logics for expressing and proving the correctness of quantum programs

Open Access
Authors
Supervisors
Cosupervisors
  • J. Sack
Award date 16-05-2019
ISBN
  • 9789402814675
Number of pages 156
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
  • Faculty of Science (FNWI)
Document type PhD thesis
Note ILLC Dissertation Series DS-2019-02
Language English
Downloads
Permalink to this page
cover
Back