A Nelson-Oppen based Proof System using Theory Specific Proof Systems.

Frédéric Besson Pierre-Emmanuel Cornilleau David Pichardie

Published in: PxTP (2011)

Keyphrases

theoretical basis
management system
complex systems
computational models
computer vision
multimedia
learning systems
linear logic
real time
general theory
formal methods
mathematical models
retrieval systems
computer systems
domain specific
decision making
databases
data sets