Stone-Type Dualities for Separation Logics.

Simon Docherty David J. Pym

Published in: Log. Methods Comput. Sci. (2019)

Keyphrases

expressive power
knowledge base
higher order
database
machine learning
artificial intelligence
web services
case study
relational databases
modal logic
epistemic logic