書誌情報	ファイル
表紙・目次    (1986-05)   数理解析研究所講究録, 591
鎖パッキング問題について(アルゴリズムの数学的基礎理論とその応用)   増山, 繁; 茨木, 俊秀; 三根, 久 (1986-05)   数理解析研究所講究録, 591: 1-11
Complexity of Path Covering Problems in Acyclic Alternate Graphs II(Algorithms : Mathematical Foundations and Applications)   Uemura, Kenji; Yaku, Takeo (1986-05)   数理解析研究所講究録, 591: 12-24
Classifications and Base Enumerations of the Maximal Sets of Three-Valued Logical Functions(Algorithms : Mathematical Foundations and Applications)   Miyakawa, Masahiro; Stojmenovic, Ivan (1986-05)   数理解析研究所講究録, 591: 25-29
Applications of a Subset Generating Algorithm to Base Enumeration, Knapsack and Minimal Covering Problems(Algorithms : Mathematical Foundations and Applications)   Stojmenovic, Ivan; Miyakawa, Masahiro (1986-05)   数理解析研究所講究録, 591: 30-44
述語の微分について : その3(アルゴリズムの数学的基礎理論とその応用)   西澤, 輝泰 (1986-05)   数理解析研究所講究録, 591: 45-52
イベントの2項関係に基くハードウェア仕様記述(アルゴリズムの数学的基礎理論とその応用)   手嶋, 茂晴; 平石, 祐実; 矢島, 脩三 (1986-05)   数理解析研究所講究録, 591: 53-64
定理証明的手法を用いた回路の自動合成 : 帰納方程式から回路への変換(アルゴリズムの数学的基礎理論とその応用)   原尾, 政輝; 岩沼, 宏治 (1986-05)   数理解析研究所講究録, 591: 65-73
ネットワークデータベースにおける巡航操作で解ける質問のクラス(アルゴリズムの数学的基礎理論とその応用)   古川, 哲也; 上林, 彌彦 (1986-05)   数理解析研究所講究録, 591: 74-83
データベース問合せ言語の変換アルゴリズムについて(アルゴリズムの数学的基礎理論とその応用)   宮尾, 淳一; 冨永, 一幸; 菊野, 亨 (1986-05)   数理解析研究所講究録, 591: 84-94
平行処理制御方式の可観測性と可制御性(アルゴリズムの数学的基礎理論とその応用)   上林, 弥彦 (1986-05)   数理解析研究所講究録, 591: 95-104
分散システムの一つのスケジューリング問題(アルゴリズムの数学的基礎理論とその応用)   阿江, 忠; 山下, 雅史; 方, 安祥 (1986-05)   数理解析研究所講究録, 591: 105-110
メタデータ制御を考慮した重複分散データベースシステムの並行処理(アルゴリズムの数学的基礎理論とその応用)   仲, 興国; 上林, 弥彦 (1986-05)   数理解析研究所講究録, 591: 111-120
ONE-STEP RECURRENT TERMS IN $\lambda - \beta$-CALCULUS(Algorithms : Mathematical Foundations and Applications)   SEKIMOTO, Shoji; HIROKAWA, Sachio (1986-05)   数理解析研究所講究録, 591: 121-137
項書き換えシステムの束論的意味論について(アルゴリズムの数学的基礎理論とその応用)   直井, 徹; 稲垣, 康善 (1986-05)   数理解析研究所講究録, 591: 138-147
Self-embedding を利用した文脈自由言語に対する文法推論(アルゴリズムの数学的基礎理論とその応用)   棚次, 奎介 (1986-05)   数理解析研究所講究録, 591: 148-156
非単調論理に関する一考察(アルゴリズムの数学的基礎理論とその応用)   新村, 司 (1986-05)   数理解析研究所講究録, 591: 157-164
動的変化を伴う知識構造の論理モデル(アルゴリズムの数学的基礎理論とその応用)   外山, 勝彦; 稲垣, 康善 (1986-05)   数理解析研究所講究録, 591: 165-174
ソフトウェアモデリングと対象モデルの変換に関する一考察(アルゴリズムの数学的基礎理論とその応用)   西田, 泰伸; 小林, 要 (1986-05)   数理解析研究所講究録, 591: 175-182
「ステートマシン・ネットワークの関数による動作記述」における「満足」包含関係について(アルゴリズムの数学的基礎理論とその応用)   山内, 長承 (1986-05)   数理解析研究所講究録, 591: 183-193