4 citations · 22 across the 17 of their papers we have counts for
1 paper · 1 filter
Roman Gielerak, Marek Sawerwain
Generalisation of the quantum weakest precondition result of D'Hondt and Panangaden is presented. In particular the most general notion of quantum predicate as positive operator va…