Formal Verification of Measurement-Based Quantum Computation in Maude

Lecture notes in computer science 2026

View at publisher

Authors: Ryuichi Nagoshi, Tsubasa Takagi

DOI: 10.1007/978-981-95-6032-5_11

Cited by: 1

References: 9

Fields of Study & Subjects

Quantum Computing Algorithms and Architecture Formal Methods in Verification Logic programming and type systems

References 9