Automatic Proof Generation in Kleene Algebra.

James Worthington

Published in: RelMiCS (2008)

Keyphrases

fully automatic
semi automatic
theorem proving
data sets
theorem prover
databases
artificial intelligence
expert systems
evolutionary algorithm
regular expressions
generation process