Login / Signup

A Full Dichotomy for $\hol^{c}$, Inspired by Quantum Computation.

Miriam Backens
Published in: SIAM J. Comput. (2021)
Keyphrases
  • quantum computation
  • theorem prover
  • formal methods
  • real time
  • theorem proving
  • natural deduction
  • higher order logic
  • learning algorithm
  • knowledge base