Browse by Supervisor
 | Up a level |
Number of items: 3.
Mitosek, Piotr B. (2025). Computational complexity perspective on graphical calculi for quantum computation. University of Birmingham. Ph.D.
Kaye, George 
ORCID: 0000-0002-0515-4055
(2024).
Foundations of digital circuits: denotational, operational, and algebraic semantics with applications to graph rewriting.
University of Birmingham.
Ph.D.
McElvanney, Tommy (2025). Preservation of determinism in MBQC under ZX-calculus rewrites. University of Birmingham. Ph.D.