The Bernays-Schönfinkel-Ramsey Class of Separation Logic on Arbitrary Domains.

Mnacho Echenim Radu Iosif Nicolas Peltier

Published in: FoSSaCS (2019)

Keyphrases

bounded model checking
multi valued
case study
databases
knowledge representation
modal logic
database
real time
logic programming
application domains
inference rules
multi class classification
automated reasoning
computational properties