Login / Signup

Regular Languages Defined by Generalized First-Order Formulas with a Bounded Number of Bound Variables.

Howard StraubingDenis Thérien
Published in: Theory Comput. Syst. (2003)
Keyphrases
  • real numbers
  • database
  • computational complexity
  • upper bound
  • database systems
  • xml documents
  • logic programs
  • model selection
  • first order logic