メトリック
1 レコードビュー
- タイトル
- Some problems in formal language theory known as decidable are preved EXPTIME complete
- 作成者 – 役職なし
- Iwata SHIGEKI
- 会議
- 京都大学数理解析研究所講究録
- ID
- 991002554532607421
- 組織
- The University of Electro-Communications
- 言語
- 日本語
- 資料タイプ
- 会議発表プレゼンテーション
- リソースのサブタイプ
- rm_presentations: Oral Presentation