Separation Logic Modulo Theories

Juan Antonio Navarro Pérez Andrey Rybalchenko

Published in: CoRR (2013)

Keyphrases

modulo theories
logic programming
modal logic
answer set programming
automated reasoning
multi valued
truth values
high level
logic programs
computational complexity
stable model semantics