precondition

related words
grainings
penson
transformers
stirling
blasiak
undeformed
predicates
typing
transformer
leibler
hartle
kullback
classifying
predicate
semantics
weakest
katriel
bhattacharyya
denotational
hellwig
related documents
Quantum Weakest Preconditions [0501157v2]
Detecting two-party quantum correlations in quantum key distribution protocols [0409047v1]
Modification of relative entropy of entanglement [0203093v3]
Trace distance from the viewpoint of quantum operation techniques [0605172v3]
The direction of time: from the global arrow to the local arrow [0301002v1]
A Note on Quantum Separability [0311184v1]
Can measuring entanglement be easy? [0606017v1]
Complementary Descriptions (PART II): A Set of Ideas Regarding the Interpretation of Quantum Mechanics [0507114v1]
Construction of a Scalable, Uniform and Universal Quantum Network and Its Applications [0006122v2]
Dimension-Independent Positive-Partial-Transpose Probability Ratios [0505093v1]
Separability Criteria from Uncertainty Relations [0409140v1]
Measures and dynamics of entangled states [0505162v1]
A functional quantum programming language [0409065v5]
related topics
{vol, operators, histories}
{state, states, entangled}
{time, systems, information}
{qubit, qubits, gate}
{theory, mechanics, state}
{entanglement, phys, rev}
{information, entropy, channel}
{particle, mechanics, theory}
{states, state, optimal}
{algorithm, log, probability}
{key, protocol, security}
{alice, bob, state}
{observables, space, algebra}
{measurement, state, measurements}
{let, theorem, proof}
{equation, function, exp}
{time, decoherence, evolution}
{operator, operators, space}
{state, phys, rev}
{phase, path, phys}