書誌情報 | ファイル |
低いレベルの同時計算量について(計算機科学の基礎理論とその応用) 関口, 正裕 (1985-04) 数理解析研究所講究録, 556: 219-230
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
A Remark on Solving the Set-Partitioning Problem by Dual All Integer Algorithm(Mathematical Foundations of Computer Science and Their Applications) Iwamura, Kakuzo (1985-04) 数理解析研究所講究録, 556: 231-239
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
COMPLEXITY OF PATH COVERING PROBLEMS IN ACYCLIC ALTERNATE GRAPHS(Mathematical Foundations of Computer Science and Their Applications) UEMURA, Kenji; YAKU, Takeo (1985-04) 数理解析研究所講究録, 556: 240-249
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
解の存在が保障されている組合せ探索問題について(計算機科学の基礎理論とその応用) 岩間, 一雄 (1985-04) 数理解析研究所講究録, 556: 250-259
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
グラフパッキング問題の計算複雑度(計算機科学の基礎理論とその応用) 増山, 繁; 張, 澤増; 茨木, 俊秀; 三根, 久 (1985-04) 数理解析研究所講究録, 556: 260-271
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
多値論理関数の本質的極小閉集合(計算機科学の基礎理論とその応用) 町田, 元 (1985-04) 数理解析研究所講究録, 556: 272-281
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
On the Semantics of Infinite Computations in Logic Programs(Mathematical Foundations of Computer Science and Their Applications) Sakakibara, Yasubumi (1985-04) 数理解析研究所講究録, 556: 282-293
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
知識の表現のための「述語」を持たない述語(?)論理"Tuple Logic"の提案(計算機科学の基礎理論とその応用) 森田, 憲一 (1985-04) 数理解析研究所講究録, 556: 294-305
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
時空間様相論理ETSLの完全・無矛盾な公理系(計算機科学の基礎理論とその応用) 岩沼, 宏治; 原尾, 政輝; 野口, 正一 (1985-04) 数理解析研究所講究録, 556: 306-318
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
THE COMPLEXITY OF SUBSTITUTIVE PROGRAMS(Mathematical Foundations of Computer Science and Their Applications) Yaku, Takeo; Adachi, Akeo; Futatsugi, Kokichi (1985-04) 数理解析研究所講究録, 556: 319-326
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |