Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing

Aleks Kissinger

Published in: CoRR (2012)

Keyphrases

quantum computing
rewriting systems
rewriting rules
quantum inspired
quantum evolutionary algorithm
databases
database
conjunctive queries
mobile computing
logic synthesis