| related words |
| weakest |
| predicate |
| grainings |
| stirling |
| hartle |
| kullback |
| predicates |
| transformers |
| penson |
| undeformed |
| precondition |
| graining |
| transformer |
| leibler |
| blasiak |
| typing |
| syntax |
| screening |
| exhaustive |
| chernoff |
|
| related documents |
| Quantum Weakest Preconditions [0501157v2] |
| A functional quantum programming language [0409065v5] |
| Communicating Quantum Processes [0409052v1] |
| Partiality in physics [0312044v1] |
| A presentation of Quantum Logic based on an "and then" connective [0701113v1] |
| A Combinatorial Bit Bang Leading to Quaternions [9809033v1] |
| Limits on Efficient Computation in the Physical World [0412143v2] |
| Algebras of Measurements: the logical structure of Quantum Mechanics [0507231v2] |
| Quantum Computation in Brain Microtubules? Decoherence and Biological
Feasibility [0005025v1] |
|
| related topics |
| {vol, operators, histories} |
| {observables, space, algebra} |
| {theory, mechanics, state} |
| {algorithm, log, probability} |
| {temperature, thermal, energy} |
| {time, systems, information} |
| {let, theorem, proof} |
| {operator, operators, space} |
| {qubit, qubits, gate} |
| {key, protocol, security} |
| {alice, bob, state} |
| {force, casimir, field} |
| {state, algorithm, problem} |
| {error, code, errors} |
| {measurement, state, measurements} |
| {trap, ion, state} |
| {particle, mechanics, theory} |
| {cavity, atom, atoms} |
| {spin, pulse, spins} |
| {level, atom, field} |
|