Diagrammatic Reasoning in Separation Logic.

M. Ridsdale Mateja Jamnik Nick Benton Josh Berdine

Published in: Diagrams (2008)

Keyphrases

diagrammatic reasoning
symbolic reasoning
structural analysis
logic programming
modal logic
search space
classical logic
human problem solving