Sign in

Diagrammatic Reasoning in Separation Logic.

M. RidsdaleMateja JamnikNick BentonJosh Berdine
Published in: Diagrams (2008)
Keyphrases
  • diagrammatic reasoning
  • symbolic reasoning
  • structural analysis
  • logic programming
  • modal logic
  • search space
  • classical logic
  • human problem solving