A Separation Logic for Resource Distribution: Extended Abstract.

Nicolas Biri Didier Galmiche

Published in: FSTTCS (2003)

Keyphrases

extended abstract
spatial distribution
classical logic
logic programming
database
modal logic
resource allocation
defeasible logic
logical framework
power law
web resources
random variables
probability distribution
learning algorithm
neural network
data sets
real time