Transitive Separation Logic.

Han-Hing Dang Bernhard Möller

Published in: RAMiCS (2012)

Keyphrases

modal logic
logic programming
classical logic
transitive closure
defeasible logic
asynchronous circuits
real time
multi valued
predicate logic
database
multi agent
color images
automated reasoning
logical framework
computational properties
proof theory