ダウンロード数: 95

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0494-7.pdf486.88 kBAdobe PDF見る/開く
タイトル: A CONSTRUCTION OF THE NERODE EQUIVALENCE IN CLOSED CATEGORIES(Mathematical Theories on Computing Schemes and Their Applications)
著者: 河原, 康雄  KAKEN_name
著者名の別形: Kawahara, Yasuo
発行日: Jun-1983
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 494
開始ページ: 70
終了ページ: 77
URI: http://hdl.handle.net/2433/103576
出現コレクション:0494 計算機構に関する数学的基礎理論とその応用

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

Export to RefWorks


出力フォーマット 


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