Login / Signup

A New Decidable Problem, with Applications (Extended Abstract)

Harry R. Lewis
Published in: FOCS (1977)
Keyphrases
  • extended abstract
  • first order logic
  • datalog programs
  • transitive closure
  • real world
  • e learning
  • image processing
  • mobile robot
  • existentially quantified