Completeness of the ZX-Calculus.

Emmanuel Jeandel Simon Perdrix Renaud Vilmart

Published in: Log. Methods Comput. Sci. (2020)

Keyphrases

data quality
data sets
case study
computer algebra
neural network
information retrieval
database
metadata
face recognition
automated deduction
timed automata
formal proofs