Pumping Lemmas for Regular Sets.

Andrzej Ehrenfeucht Rohit Parikh Grzegorz Rozenberg

Published in: SIAM J. Comput. (1981)

Keyphrases

cooperative
database
databases
knowledge base
decision trees
evolutionary algorithm
theorem prover
theorem proving