A Revisionist History of Concurrent Separation Logic.

Stephen Brookes

Published in: MFPS (2011)

Keyphrases

databases
modal logic
database
multi valued
information systems
classical logic
data model
logic programming
proof theory
predicate logic
data sets
automated reasoning
bayesian networks
computational properties
defeasible logic
search engine
asynchronous circuits