Login / Signup

Sequent Calculus Representations for Quantum Circuits.

Cameron Beebe
Published in: PC (2016)
Keyphrases
  • sequent calculus
  • quantum computing
  • cut elimination
  • logic circuits
  • linear logic
  • inference rules
  • logic synthesis
  • natural deduction
  • modal logic
  • high speed
  • training set
  • fixed point
  • linear time temporal logic