Converses of pumping lemmas.

Richard Johnsonbaugh David P. Miller

Published in: SIGCSE (1990)

Keyphrases

theorem proving
theorem prover
active learning
general purpose
proof search
artificial neural networks
evolutionary algorithm
software engineering
vision system
orders of magnitude