Login / Signup

Hyper Tableaux with Equality.

Peter BaumgartnerUlrich FurbachBjörn Pelzer
Published in: CADE (2007)
Keyphrases
  • modal logic
  • functional dependencies
  • decision procedures
  • neural network
  • databases
  • database query languages
  • learning algorithm
  • sequent calculi