• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

What's Decidable About Arrays?

Aaron R. BradleyZohar MannaHenny B. Sipma
Published in: VMCAI (2006)
Keyphrases
  • first order logic
  • search algorithm
  • transitive closure
  • datalog programs
  • focal plane
  • databases
  • real world
  • information retrieval
  • data structure
  • high speed
  • deductive databases
  • inference rules
  • linear array