Sign in

WQO is decidable for factorial languages.

Aistis AtminasVadim V. LozinMikhail Moshkov
Published in: Inf. Comput. (2017)
Keyphrases
  • expressive power
  • language independent
  • first order logic
  • hidden markov models
  • transitive closure
  • language identification
  • cross lingual
  • neural network
  • datalog programs
  • correspondence analysis