Login / Signup
A Stricter Heap Separating Points-To Logic.
René Haberland
Kirill Krinkin
Published in:
CoRR (2019)
Keyphrases
</>
data structure
logic programming
point sets
feature points
classical logic
modal logic
data sets
convex hull
endpoints
database
machine learning
optical flow
automated reasoning
predicate logic
proof theory