論文

査読有り
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