Testing Hardy's ladder proof of nonlocality by joint measurements of qubits.

Hao Yuan Lian-Fu Wei

Published in: Quantum Inf. Process. (2013)

Keyphrases

test cases
software testing
database
data sets
neural network
information retrieval
computer vision
information systems
multiscale
theorem proving
measured data
linear logic
joint estimation
proof theory