A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics.

Published in: LICS (2019)

Keyphrases

quantum mechanics
human decision making
particle swarm optimisation
decision theory
functional dependencies
quantum computing
modal logic
inference rules
data mining
decision making
simulated annealing