文献
J-GLOBAL ID:202002231970570358
整理番号:20A1230768
分離論理のための循環証明システムにおける空間因数分解
Spatial Factorization in Cyclic-Proof System for Separation Logic
著者 (4件):
NAKAZAWA Koji
(Nagoya University)
,
TATSUTA Makoto
(National Institute of Informatics, Sokendai)
,
KIMURA Daisuke
(Toho University)
,
YAMAMURA Mitsuru
(Nagoya Customs)
資料名:
コンピュータソフトウェア
(Computer Software)
巻:
37
号:
1
ページ:
1_125-1_144(J-STAGE)
発行年:
2020年
JST資料番号:
Y0628A
ISSN:
0289-6540
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
英語 (EN)