Problem: Combinatorial Proof Invariants: (Preliminary version).

Dominic J. D. Hughes

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

preliminary version
imperative programs
affine invariant
genetic algorithm
information systems
theorem prover
moment invariants
linear logic
data mining
machine learning
feature extraction
theorem proving
dynamic logic
quasi invariant