Collection home page

Theory of Algorithms and Computational Complexity   27

List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 27
  数理解析研究所講究録, 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
  山本, 泰則, 森田, 憲一 (1990-10)
  数理解析研究所講究録, 731: 97-107
file type icon
  森田, 憲一 (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
  劉, 僖根, 橋口, 攻三郎 (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
  青沼, 裕美, 今井, 浩, 今井, 桂子, 徳山, 豪 (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
  永持, 仁, 茨木, 俊秀 (1990-10)
  数理解析研究所講究録, 731: 202-213
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 27