DPhil Thesis

Introduction
Quantum Computing: a Computer Scientist's Perspective
Quantum Compilation as a Graph Transformation System
Pattern Matching in large Graph Transformation Systems
Fully and Confluently Persistent Graph Rewriting
Future Work and Conclusions
Appendix
- Prefix trees
- A Platform for Scalable Graph Rewriting
Unrolled thesis