A Framework for Defining Object-Calculi.

Frédéric Lang Pierre Lescanne Luigi Liquori

Published in: World Congress on Formal Methods (1999)

Keyphrases

main contribution
d objects
databases
data sets
genetic algorithm
multiscale
logical framework
similar objects