Restriction on cut rule in cyclic-proof system for symbolic heaps

DOI10.1016/j.tcs.2024.114854MaRDI QIDQ6633582

Kenji Saotome, Koji Nakazawa, Daisuke Kimura

Publication date: 6 November 2024

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

cut eliminationseparation logicsymbolic heapcyclic-proof system

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Restriction on cut rule in cyclic-proof system for symbolic heaps