ENCODING PEANO ARITHMETIC IN A MINIMAL FRAGMENT OF SEPARATION LOGIC.

Saved in:

Bibliographic Details
Title:	ENCODING PEANO ARITHMETIC IN A MINIMAL FRAGMENT OF SEPARATION LOGIC.
Authors:	ITO, SOHEI¹, s-ito@nagasaki-u.ac.jp, TATSUTA, MAKOTO², tatsuta008@gmail.com
Source:	Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-30, 30p
Database:	Applied Science & Technology Source

Description
ISSN:	18605974
DOI:	10.46298/LMCS-22(2:22)2026