Separation Logic with One Quantified Variable.

Stéphane Demri Didier Galmiche Dominique Larchey-Wendling Daniel Méry

Published in: Theory Comput. Syst. (2017)

Keyphrases

real world
modal logic
classical logic
logic programming
probabilistic logic
logical framework
continuous variables
multi valued
database
neural network
genetic algorithm
color images
universally quantified
sound and complete axiomatization