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