Ben Caldwell

202320246 1

Adrian LehmannUniversity of UChicagoEmail verificata su uchicago.edu
Robert RandAssistant Professor of Computer Science, University of ChicagoEmail verificata su uchicago.edu

Ben Caldwell

Email verificata su uchicago.edu - Home page


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
VyZX: A Vision for Verifying the ZX Calculus A Lehmann, B Caldwell, R Rand arXiv preprint arXiv:2205.05781, 2022	6	2022
VyZX: Formal Verification of a Graphical Quantum Language A Lehmann, B Caldwell, B Shah, R Rand arXiv preprint arXiv:2311.11571, 2023	1	2023

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–2

Citazioni per anno