A Diagrammatic Axiomatisation for Qubit Entanglement.

Amar Hadzihasanovic

Published in: LICS (2015)

Keyphrases

functional dependencies
modal logic
inference rules
computer vision
multivalued dependencies
database
databases
database systems
preprocessing
relational databases
diagrammatic reasoning