Sign in

Decidability Results in Automata and Process Theory.

Yoram HirshfeldFaron Moller
Published in: Banff Higher Order Workshop (1995)
Keyphrases
  • data mining
  • theoretical framework
  • databases
  • machine learning
  • theoretical basis
  • database
  • bayesian networks
  • search algorithm
  • query language
  • formal theory