Ben Caldwell

202320246 3

Adrian LehmannUniversity of UChicagoPotvrđena adresa e-pošte na uchicago.edu
Robert RandAssistant Professor of Computer Science, University of ChicagoPotvrđena adresa e-pošte na uchicago.edu

Ben Caldwell

Potvrđena adresa e-pošte na uchicago.edu - Početna stranica


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
VyZX: A Vision for Verifying the ZX Calculus A Lehmann, B Caldwell, R Rand arXiv preprint arXiv:2205.05781, 2022	7	2022
VyZX: Formal Verification of a Graphical Quantum Language A Lehmann, B Caldwell, B Shah, R Rand arXiv preprint arXiv:2311.11571, 2023	2	2023

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–2

Godišnji broj citata