Browsing General by Issue Date

DSpace/Manakin Repository

Search OPUS


Advanced Search

Browse

My Account

Browsing General by Issue Date

Sort by: Order: Results:

  • Ying, M; Duan, R; Feng, Y; Ji, Z (Cambridge University Press, 2010-01)
    This chapter presents a systematic exposition of predicate transformer semantics for quantum programs. It is divided into two parts: The first part reviews the state transformer (forward) semantics of quantum programs ...