Automated quantum program verification in dynamic quantum logic
From MaRDI portal
Publication:6546614
DOI10.1007/978-3-031-51777-8_5MaRDI QIDQ6546614
Tsubasa Takagi, Canh Minh Do, Kazuhiro Ogata
Publication date: 29 May 2024
Cites Work
- Unnamed Item
- Unnamed Item
- PLQP \& Company: decidable logics for quantum algorithms
- Quantum loop programs
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- The conditional in quantum logic
- Quantum logic in algebraic approach
- Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
- Twenty years of rewriting logic
- Implication connectives in orthomodular lattices
- The logic of quantum mechanics
- Quantum Computation and Quantum Information
- A Quantum Adiabatic Evolution Algorithm Applied to Random Instances of an NP-Complete Problem
- Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states
- Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
- Quantum secret sharing
- QWIRE: a core language for quantum circuits
- LQP: the dynamic logic of quantum information
This page was built for publication: Automated quantum program verification in dynamic quantum logic
