Kenji Saotome

From MaRDI portal
Person:2039936

Available identifiers

zbMath Open saotome.kenjiMaRDI QIDQ2039936

List of research outcomes





PublicationDate of PublicationType
Restriction on cut rule in cyclic-proof system for symbolic heaps2024-11-06Paper
Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions2023-06-23Paper
Contributed papers. Restriction on cut in cyclic proof system for symbolic heaps2021-07-06Paper

Research outcomes over time

This page was built for person: Kenji Saotome

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2039936&oldid=6599771"
Powered by MediaWiki