Checking Equivalence for Partial Implementations.

Christoph Scholl Bernd Becker

Published in: MBMV (1) (2001)

Keyphrases

database systems
efficient implementation
partial information
real world
social networks
image segmentation
expert systems
mobile robot
integrity constraints