Login / Signup

Correctness of Multiplicative Additive Proof Structures is NL-Complete.

Paulin Jacobé de NauroisVirgile Mogbil
Published in: LICS (2008)
Keyphrases
  • provably correct
  • natural language
  • machine learning
  • theorem proving
  • structural features
  • natural language interface
  • case study
  • objective function
  • information extraction
  • natural language processing
  • linear logic