ENCODING PEANO ARITHMETIC IN A MINIMAL FRAGMENT OF SEPARATION LOGIC.
Saved in:
| Title: | ENCODING PEANO ARITHMETIC IN A MINIMAL FRAGMENT OF SEPARATION LOGIC. |
|---|---|
| Authors: | ITO, SOHEI1, s-ito@nagasaki-u.ac.jp, TATSUTA, MAKOTO2, tatsuta008@gmail.com |
| Source: | Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-30, 30p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
