ダウンロード数: 89

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1744-01.pdf1.3 MBAdobe PDF見る/開く
タイトル: 実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム (計算機科学とアルゴリズムの数理的基礎とその応用)
著者: 若月, 光夫  KAKEN_name
清野, 和司  KAKEN_name
富田, 悦次  KAKEN_name
西野, 哲朗  KAKEN_name
著者名の別形: Wakatsuki, Mitsuo
Seino, Kazushi
Tomita, Etsuji
Nishino, Tetsuro
発行日: Jun-2011
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 1744
開始ページ: 1
終了ページ: 10
URI: http://hdl.handle.net/2433/170979
出現コレクション:1744 計算機科学とアルゴリズムの数理的基礎とその応用

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

Export to RefWorks


出力フォーマット 


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