論文

査読有り

2017年

The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter.

26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden

Koko Muroya
Dan R. Ghica

開始ページ: 32:1-32:15
終了ページ
記述言語
掲載種別: 研究論文（国際会議プロシーディングス）
DOI: 10.4230/LIPIcs.CSL.2017.32
出版者・発行元: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik

リンク情報

DOI: https://doi.org/10.4230/LIPIcs.CSL.2017.32
DBLP: https://dblp.uni-trier.de/rec/conf/csl/MuroyaG17
URL: http://dblp.uni-trier.de/db/conf/csl/csl2017.html#conf/csl/MuroyaG17

ID情報

DOI : 10.4230/LIPIcs.CSL.2017.32
DBLP ID : conf/csl/MuroyaG17

エクスポート: BibTeX RIS

論文リストへ