Proof Preservation in Component Generalization.

Anamaria Martins Moreira

Published in: World Congress on Formal Methods (1999)

Keyphrases

software components
object model
data sets
theorem prover
theorem proving
linear logic
decision trees
similarity measure
multiscale
special case