Formal reasoning about Bernstein-Vazirani algorithm

Journal of Logical and Algebraic Methods in Programming 2026

View at publisher

Authors: Hongxia Sun, Zhiping Shi, Shanyan Chen, Guohui Wang, Ximeng Li, Yong Guan

DOI: 10.1016/j.jlamp.2025.101108

Cited by: 0

References: 15

Fields of Study & Subjects

Advanced Algebra and Logic Formal Methods in Verification Logic Reasoning and Knowledge

References 15