Login / Signup

Superdeterministic PDAs: A Subcase with a Decidable Inclusion problem.

Sheila A. GreibachEmily P. Friedman
Published in: J. ACM (1980)
Keyphrases
  • situation calculus
  • mobile phone
  • mobile devices
  • cellular phones
  • lightweight
  • data sets
  • mobile agents
  • relational databases
  • database
  • machine learning
  • information retrieval
  • first order logic
  • handheld devices