Login / Signup
Completeness of the ZX-Calculus.
Emmanuel Jeandel
Simon Perdrix
Renaud Vilmart
Published in:
CoRR (2019)
Keyphrases
</>
expert systems
special case
formal proofs
automated deduction
constraint satisfaction problems
database
data sets
real time
case study
artificial neural networks
multiresolution
machine learning
mobile robot
data warehouse
databases
data quality
complex objects
algebraic structure