論文

査読有り

2019年

Reversible Programs Have Reversible Semantics

Formal Methods. FM 2019 International Workshops (FM 2019), Lecture Notes in Computer Science, Springer-Verlag

Robert Glück
Robin Kaarsgaard
Tetsuo Yokoyama

巻: 12233
号
開始ページ: 413
終了ページ: 427
記述言語: 英語
掲載種別: 研究論文（国際会議プロシーディングス）
DOI: 10.1007/978-3-030-54997-8_26

リンク情報

DOI: https://doi.org/10.1007/978-3-030-54997-8_26
DBLP: https://dblp.uni-trier.de/rec/["conf\/fm\/GluckKY19"]
URL: https://dblp.uni-trier.de/conf/fm/2019-w2
URL: https://dblp.uni-trier.de/db/conf/fm/fm2019w-2.html#GluckKY19

ID情報

DOI : 10.1007/978-3-030-54997-8_26
DBLP ID : ["conf\/fm\/GluckKY19"]

エクスポート: BibTeX RIS

論文リストへ