Biabduction (and Related Problems) in Array Separation Logic.

James Brotherston Nikos Gorogiannis Max I. Kanovich

Published in: CoRR (2016)

Keyphrases

related problems
random access memory
modal logic
classical logic
range searching
logic programming
computational properties
broadly applicable
database
automated reasoning
logical framework
programmable logic
stable marriage
data sets
nonmonotonic logics
predicate logic