Login / Signup
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