Biabduction (and Related Problems) in Array Separation Logic.

James Brotherston Nikos Gorogiannis Max I. Kanovich

Published in: CADE (2017)

Keyphrases

related problems
range searching
modal logic
classical logic
logic programming
random access memory
automated reasoning
predicate logic
broadly applicable
high dimensional
structured databases
stable marriage
logical framework
programmable logic
proof theory
sound and complete axiomatization