Browsing General by Title

DSpace/Manakin Repository

Search OPUS


Advanced Search

Browse

My Account

Browsing General by Title

Sort by: Order: Results:

  • Ying, M; Duan, R; Duan, R; Feng, Y (Cambridge University Press, 2013-01-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 ...