論文

査読有り筆頭著者

2019年

Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions.

Lecture Notes in Computer Science

Makoto Tatsuta
Koji Nakazawa
Daisuke Kimura

巻: 11893
号
開始ページ: 367
終了ページ: 387
記述言語: 英語
掲載種別: 研究論文（国際会議プロシーディングス）
DOI: 10.1007/978-3-030-34175-6_19

リンク情報

DOI: https://doi.org/10.1007/978-3-030-34175-6_19
DBLP: https://dblp.uni-trier.de/rec/conf/aplas/TatsutaNK19
Dblp Cross Ref: https://dblp.uni-trier.de/conf/aplas/2019
Dblp Url: https://dblp.uni-trier.de/db/conf/aplas/aplas2019.html#TatsutaNK19

ID情報

DOI : 10.1007/978-3-030-34175-6_19
DBLP ID : conf/aplas/TatsutaNK19

エクスポート: BibTeX RIS

論文リストへ