Formal Modeling and Verification of Grover's Algorithm

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Sun, H., Shi, Z., Chen, S., Wang, G., Li, X., Guan, Y., Zhang, Q., Shao, Z.
Formato:	Preprint
Publicado:	2026
Materias:	Quantum Physics Formal Languages and Automata Theory F.4.3
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet

https://arxiv.org/abs/2601.02435