Login / Signup

Negation-limited formulas.

Siyao GuoIlan Komargodski
Published in: Theor. Comput. Sci. (2017)
Keyphrases
  • horn clauses
  • logic programs
  • decision trees
  • compositional semantics