Formal Modeling and Verification of Grover's Algorithm

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sun, H., Shi, Z., Chen, S., Wang, G., Li, X., Guan, Y., Zhang, Q., Shao, Z.
Format:	Preprint
Published:	2026
Subjects:	Quantum Physics Formal Languages and Automata Theory F.4.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!

Similar Items