Separation Logic Modulo Theories.

Juan Antonio Navarro Pérez Andrey Rybalchenko

Published in: APLAS (2013)

Keyphrases

modulo theories
answer set programming
logic programming
multi valued
modal logic
learning algorithm
automated reasoning
high level
search algorithm
computational complexity
knowledge representation
satisfiability modulo theories