Automata-Driven Automated Induction.

Adel Bouhoula Jean-Pierre Jouannaud

Published in: Inf. Comput. (2001)

Keyphrases

data driven
semi automated
finite automata
cellular automata
database
subgroup discovery
real time
neural network
information retrieval
case study
bayesian networks
regular expressions
program synthesis