Login / Signup

Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs.

Mingsheng Ying
Published in: CoRR (2022)
Keyphrases
  • von neumann
  • quantum computation
  • logic circuits
  • dynamic logic
  • agent programming
  • programming language
  • modal logic
  • quantum computing
  • linear programming
  • genetic algorithm