Sign in

Decidable Theories of the Ordering of Natural Numbers with Unary Predicates.

Alexander Moshe RabinovichWolfgang Thomas
Published in: CSL (2006)
Keyphrases
  • database
  • datalog programs
  • real world
  • pairwise
  • data sets
  • user defined
  • natural language
  • theoretical framework
  • partial order
  • computational models
  • transitive closure
  • man made
  • multi valued