Login / Signup
Conflict nets: Efficient locally canonical MALL proof nets.
Dominic J. D. Hughes
Willem Heijltjes
Published in:
LICS (2016)
Keyphrases
</>
neural network
feature selection
machine learning
e learning
computationally expensive
theorem prover