Computational soundness of observational equivalence.

Hubert Comon-Lundh Véronique Cortier

Published in: CCS (2008)

Keyphrases

neural network
information systems
multimedia
wide range
mathematical programming
computational power
database
real world
knowledge base
web services
computational complexity
mobile robot
probability distribution
computational model
computational tools