12 citations · 26 across the 15 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…