Browse by Supervisor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 2.

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.

This list was generated on Fri Dec 5 16:24:33 2025 GMT.