A Simplified Stabilizer ZX-calculus.

Miriam Backens Simon Perdrix Quanlong Wang

Published in: QPL (2016)

Keyphrases

real time
databases
formal language
automated deduction
natural deduction
computer algebra
database
decision making
data model
temporal reasoning
relational calculus
type checking
automated theorem proving