DPhil Thesis

Introduction
Quantum Computing: a Computer Scientist's Perspective
Quantum Compilation as a Graph Transformation System
Fast Pattern Matching
Concurrent Exploration in Graph Transformation Systems
- Related work
- A closer look at equality saturation
A Framework for Scalable Graph Rewriting
Future Work and Conclusions
Appendix
- Prefix trees