An Overview of Separation Logic.

John C. Reynolds

Published in: VSTTE (2005)

Keyphrases

logic programming
proof theory
artificial intelligence
modal logic
automated reasoning
classical logic
probabilistic logic
natural deduction
asynchronous circuits
formal theory
predicate logic
defeasible logic
computational properties
database
current status
multi valued
website
databases