An Algebraic Axiomatisation of ZX-calculus.

Published in: QPL (2020)

Keyphrases

inference rules
functional dependencies
modal logic
sequent calculus
database
data mining
relational databases
automated deduction
provably correct
computer algebra