ダウンロード数: 84

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0522-23.pdf784.95 kBAdobe PDF見る/開く
タイトル: A relation between the size of term and the number of reduction steps in lambda calculus computations
著者: Hirokawa, Sachio
著者名の別形: 広川, 佐千男
発行日: May-1984
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 522
開始ページ: 308
終了ページ: 322
URI: http://hdl.handle.net/2433/98458
出現コレクション:0522 計算機科学の基礎理論

アイテムの詳細レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。