predicates

related words
penson
grainings
predicate
blasiak
transformers
undeformed
stirling
typing
leibler
transformer
kullback
chernoff
subgraph
precondition
syntax
combinatorics
katriel
semantics
bhattacharyya
denotational
related documents
Quantum Weakest Preconditions [0501157v2]
Quantum vs. Classical Communication and Computation [9802040v2]
Limits on Efficient Computation in the Physical World [0412143v2]
On quantum and approximate privacy [0110038v3]
Do quantum states evolve? Apropos of Marchildon's remarks [0307113v1]
Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem [0307139v1]
Interaction in Quantum Communication [0603135v1]
related topics
{vol, operators, histories}
{algorithm, log, probability}
{measurement, state, measurements}
{let, theorem, proof}
{observables, space, algebra}
{key, protocol, security}
{particle, mechanics, theory}
{theory, mechanics, state}
{state, algorithm, problem}
{qubit, qubits, gate}
{alice, bob, state}
{information, entropy, channel}
{time, systems, information}
{classical, space, random}
{states, state, optimal}
{spin, pulse, spins}
{error, code, errors}
{state, states, entangled}
{trap, ion, state}
{state, phys, rev}