Stone-Type Dualities for Separation Logics.

Simon Docherty David J. Pym

Published in: CoRR (2017)

Keyphrases

expressive power
website
modal logic
real time
three dimensional
objective function
information retrieval
search algorithm
probabilistic model