Search Results - "TATSUTA, MAKOTO"

ENCODING PEANO ARITHMETIC IN A MINIMAL FRAGMENT OF SEPARATION LOGIC.

Authors: ITO, SOHEI TATSUTA, MAKOTO

Source: Logical Methods in Computer Science (LMCS); 2026, Vol. 22 Issue 2, p1-30, 30p

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions.

Authors: Oda, Yukihiro Brotherston, James Tatsuta, Makoto

Source: Journal of Logic & Computation; Mar2025, Vol. 35 Issue 2, p1-28, 28p

Completeness and expressiveness of pointer program verification by separation logic.

Authors: Tatsuta, Makoto Chin, Wei-Ngan Al Ameen, Mahmudul Faisal

Source: Information & Computation; Aug2019, Vol. 267, p1-27, 27p

On Isomorphisms of Intersection Types.

Authors: Dezani-Ciancaglini, Mariangiola Di Cosmo, Roberto Giovannetti, Elio et al.

Source: ACM Transactions on Computational Logic; Jul2010, Vol. 11 Issue 4, p25:1-25:24, 24p, 1 Diagram, 2 Charts