2016年
The Directed Homotopy Hypothesis.
25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France
- ,
- ,
- 開始ページ
- 9:1
- 終了ページ
- 9:16
- 記述言語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- 出版者・発行元
- Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
- リンク情報
- ID情報
-
- DBLP ID : conf/csl/DubutGG16