• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

Undecidability of Propositional Separation Logic and Its Neighbours

Journal of the ACM. 2014. Vol. 61. No. 2. P. 14:1-14:43.
Brotherston J., Kanovich M.