Failure of cut-elimination in cyclic proofs of separation logic

Daisuke Kimura, Koji Nakazawa, Tachio Terauchi, Hiroshi Unno

研究成果: Article査読

5 被引用数 (Scopus)

フィンガープリント

「Failure of cut-elimination in cyclic proofs of separation logic」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Engineering & Materials Science