The Dual Spatial Connectives of Separation Logic.

Yuming Shen Yuefei Sui Ju Wang

Published in: KSEM (2009)

Keyphrases

classical logic
spatial information
truth values
spatial data
space time
logic programming
modal logic
inference rules
sequent calculus
spatio temporal
multi valued
spatial frequency
spatial temporal
fixpoint
automated reasoning
spatial features
spatial analysis
spatial and temporal