Login / Signup
A universal completion of the ZX-calculus.
Kang Feng Ng
Quanlong Wang
Published in:
CoRR (2017)
Keyphrases
</>
knuth bendix
term rewriting
data sets
neural network
information systems
multiscale
automated deduction
algebraic structure
decision making
multi valued
relational calculus