ダウンロード数: 162

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0796-02.pdf1.28 MBAdobe PDF見る/開く
タイトル: Some Problems in Formal Language Theory Known as Decidable are Proved EXPTIME Complete
著者: Kasai, Takumi
Iwata, Shigeki
発行日: Jul-1992
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 796
開始ページ: 8
終了ページ: 21
URI: http://hdl.handle.net/2433/82765
出現コレクション:0796 短期共同 計算量理論とその応用

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

Export to RefWorks


出力フォーマット 


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