Login / Signup

Two-Variable Separation Logic and Its Inner Circle.

Stéphane DemriMorgan Deters
Published in: ACM Trans. Comput. Log. (2015)
Keyphrases
  • classical logic
  • modal logic
  • logic programming
  • automated reasoning
  • multi valued
  • real time
  • data sets
  • np complete
  • set theory
  • formal language
  • abductive reasoning
  • sound and complete axiomatization