Automating Separation Logic Using SMT.

Ruzica Piskac Thomas Wies Damien Zufferey

Published in: CAV (2013)

Keyphrases

logic programming
automated reasoning
multi valued
classical logic
modal logic
computational properties
proof theory
probability theory
predicate logic
information retrieval
artificial intelligence
knowledge representation
statistical machine translation
nonmonotonic logics