DPhil Thesis

Introduction
Quantum Computing: a Computer Scientist's Perspective
Quantum Compilation as a Graph Transformation System
Fast Pattern Matching
Parallel Rewriting
- Equality Saturation
A Framework for Scalable Graph Rewriting
Future Work and Conclusions
Appendix
- Prefix trees

Future Work and Conclusions

Chapter 7

Future Work and Conclusions