Login / Signup

Linear and Unit-Resulting Refutations for Horn Theories.

Peter Baumgartner
Published in: J. Autom. Reason. (1996)
Keyphrases
  • horn theories
  • canonical representation
  • database
  • information retrieval
  • information systems
  • functional dependencies
  • linear systems
  • data sets
  • control system
  • least squares
  • data types
  • closed form