General

DSpace/Manakin Repository

Search OPUS


Advanced Search

Browse

My Account

Discover

RSS Feeds

General

 

Recent Submissions

  • 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 ...