Login / Signup
Cyclic proofs, system t, and the power of contraction.
Denis Kuperberg
Laureline Pinault
Damien Pous
Published in:
Proc. ACM Program. Lang. (2021)
Keyphrases
</>
power consumption
neural network
information systems
theorem proving
real time
theorem prover
formal proof
artificial neural networks
knowledge representation
belief change
natural deduction