Login / Signup

Characterizations and Extensions of Pushdown Translations.

Alfred V. AhoJeffrey D. Ullman
Published in: Math. Syst. Theory (1971)
Keyphrases
  • model checking
  • data sets
  • machine translation
  • query translation
  • efficient implementation
  • neural network
  • machine learning
  • image sequences
  • multiscale
  • default theories