Collection home page

Theory of Algorithms and Computational Complexity   27
(http://hdl.handle.net/2433/98282)

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