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