A Diagrammatic Axiomatisation for Qubit Entanglement.

Amar Hadzihasanovic

Published in: CoRR (2015)

Keyphrases

functional dependencies
modal logic
inference rules
diagrammatic reasoning
neural network
genetic algorithm
databases
data mining
three dimensional
training data
integrity constraints
multivalued dependencies