Deductive Verification with Relational Properties.

Lionel Blatter Nikolai Kosmatov Pascale Le Gall Virgile Prevosto

Published in: CoRR (2016)

Keyphrases

relational databases
object oriented
relational model
relational data
database language
database schema
entity relationship
decision trees
multi agent
multiscale
image sequences
neural network
object oriented databases
multi relational
face verification
topological properties
information systems