Login / Signup
Automation of separation logic using auto2.
Bohua Zhan
Published in:
CoRR (2016)
Keyphrases
</>
logic programming
modal logic
multi valued
classical logic
linear temporal logic
proof theory
predicate logic
defeasible logic
real time
logical framework
abductive reasoning
multiscale
formal theory
epistemic logic
deontic logic
case study
social networks