Types, Maps and Separation Logic.

Rafal Kolanski Gerwin Klein

Published in: TPHOLs (2009)

Keyphrases

classical logic
real time
databases
feature selection
knowledge base
case study
image sequences
modal logic
predicate logic
epistemic logic