Mendeley出力
＜紀要論文＞
A relation between the size of term and the number of reduction steps in lambda calculus computations
| 作成者 | |
|---|---|
| 本文言語 | |
| 出版者 | |
| 発行日 | |
| 収録物名 | |
| 巻 | |
| 開始ページ | |
| 終了ページ | |
| 出版タイプ | |
| アクセス権 |
本文ファイル
| ファイル | ファイルタイプ | サイズ | 閲覧回数 | 説明 |
|---|---|---|---|---|
hirokawa_214
|
405 KB | 169 |
詳細
| レコードID | |
|---|---|
| ISSN | |
| NCID | |
| 注記 | |
| 登録日 | 2015.11.26 |
| 更新日 | 2020.10.07 |