Login / Signup

Conflict nets: Efficient locally canonical MALL proof nets.

Dominic J. D. HughesWillem Heijltjes
Published in: LICS (2016)
Keyphrases
  • neural network
  • feature selection
  • machine learning
  • e learning
  • computationally expensive
  • theorem prover