Login / Signup

Axiom Directed Focusing.

Clément Houtmann
Published in: TYPES (2008)
Keyphrases
  • inference rules
  • logic programs
  • small number
  • statistical model
  • modal logic