書誌情報	ファイル
表紙・目次    (1990-10)   数理解析研究所講究録, 731
Cut-free systems for some tense logics   鹿島, 亮 (1990-10)   数理解析研究所講究録, 731: 1-12
A new head-normalization algorithm for $\lambda$-calculus   野口, 憲一 (1990-10)   数理解析研究所講究録, 731: 13-24
Confluence and Completion of Membership Conditional TRS   Yamada, Junnosuke (1990-10)   数理解析研究所講究録, 731: 25-36
高階ユニフィケーションにおける可解なクラスと計算の複雑さ(アルゴリズムと計算量の理論)   原尾, 政輝; 岩沼, 宏治 (1990-10)   数理解析研究所講究録, 731: 37-48
Occam Algorithms for Learning from Noisy Examples   Sakakibara, Yasubumi (1990-10)   数理解析研究所講究録, 731: 49-60
Learning Equal Matrix Grammars and Multitape Automata with Structural Information   Takada, Yuji (1990-10)   数理解析研究所講究録, 731: 61-72
Lexical-Functional Grammars and Computational Complexity   Nishino, Tetsuro (1990-10)   数理解析研究所講究録, 731: 73-83
A learning algorithm for monotone $k$-term DNF   OHGURO, Takeshi; MARUOKA, Akira (1990-10)   数理解析研究所講究録, 731: 84-96
決定的に構文解析ができる2次元アレイ文法のクラスについて(アルゴリズムと計算量の理論)   山本, 泰則; 森田, 憲一 (1990-10)   数理解析研究所講究録, 731: 97-107
一次元2近傍可逆的セル・オートマトンについて(アルゴリズムと計算量の理論)   森田, 憲一 (1990-10)   数理解析研究所講究録, 731: 108-117
一方向マルチプロセッサ有限オートマタのある性質(アルゴリズムと計算量の理論)   角川, 裕次; 松野, 浩嗣; 井上, 克司; 高浪, 五男 (1990-10)   数理解析研究所講究録, 731: 118-129
Closure properties of $\omega$-languages under morphism and inverse morphism   MORIYA, Tetsuo (1990-10)   数理解析研究所講究録, 731: 130-142
高々スター次数nの拡張正規表現(アルゴリズムと計算量の理論)   劉, 僖根; 橋口, 攻三郎 (1990-10)   数理解析研究所講究録, 731: 143-154
消費税に対する「分割買い」について(アルゴリズムと計算量の理論)   伊藤, 暁; 井上, 克司; 高浪, 五男 (1990-10)   数理解析研究所講究録, 731: 155-165
Lexicographically optimal base of a submodular system with respect to a weight vector   Iwamura, Kakuzo (1990-10)   数理解析研究所講究録, 731: 166-176
凸多角形の多角形領域内へのmaximin配置問題とそれに関連した動的Voronoi図(アルゴリズムと計算量の理論)   青沼, 裕美; 今井, 浩; 今井, 桂子; 徳山, 豪 (1990-10)   数理解析研究所講究録, 731: 177-186
内点法の平面ネットワークフロー問題への適用(アルゴリズムと計算量の理論)   今井, 浩; 田川, 勇治 (1990-10)   数理解析研究所講究録, 731: 187-194
On the Largest Common Subgraph Problem   Masuyama, Shigeru; Takahashi, Yoshimasa; Okuyama, Tohru (1990-10)   数理解析研究所講究録, 731: 195-201
k-辺連結あるいはk-点連結全域部分グラフについて(アルゴリズムと計算量の理論)   永持, 仁; 茨木, 俊秀 (1990-10)   数理解析研究所講究録, 731: 202-213