Login / Signup

Testable and untestable classes of first-order formulae.

Charles JordanThomas Zeugmann
Published in: J. Comput. Syst. Sci. (2012)
Keyphrases
  • higher order
  • horn clauses
  • databases
  • finite model theory
  • first order logic
  • information systems
  • decision diagrams
  • real time
  • genetic algorithm
  • multiscale
  • class hierarchy