APA (7th ed.) Citation

ITO, S., & TATSUTA, M. (2026). ENCODING PEANO ARITHMETIC IN A MINIMAL FRAGMENT OF SEPARATION LOGIC. Logical Methods in Computer Science (LMCS), 22(2), 1. https://doi.org/10.46298/LMCS-22(2:22)2026

Chicago Style (17th ed.) Citation

ITO, SOHEI, and MAKOTO TATSUTA. "ENCODING PEANO ARITHMETIC IN A MINIMAL FRAGMENT OF SEPARATION LOGIC." Logical Methods in Computer Science (LMCS) 22, no. 2 (2026): 1. https://doi.org/10.46298/LMCS-22(2:22)2026.

MLA (9th ed.) Citation

ITO, SOHEI, and MAKOTO TATSUTA. "ENCODING PEANO ARITHMETIC IN A MINIMAL FRAGMENT OF SEPARATION LOGIC." Logical Methods in Computer Science (LMCS), vol. 22, no. 2, 2026, p. 1, https://doi.org/10.46298/LMCS-22(2:22)2026.