Collection home page

0833 計算機構とアルゴリズム   27

List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 27
  数理解析研究所講究録, 833
file type icon
  岩間, 一雄 (1993-04)
  数理解析研究所講究録, 833: 1-10
file type icon
The Complexity of Selecting Maximal Solutions
  Chen, Zhi-Zhong, Toda, Seinosuke (1993-04)
  数理解析研究所講究録, 833: 11-21
file type icon
  宮野, 英次, 岩間, 一雄 (1993-04)
  数理解析研究所講究録, 833: 22-30
file type icon
On Using Oracles That Compute Values
  Fenner, Stephan, Homer, Steve, Ogiwara, Mitsunori, Selman, Alan L. (1993-04)
  数理解析研究所講究録, 833: 31-41
file type icon
  神保, 秀司, 丸岡, 章 (1993-04)
  数理解析研究所講究録, 833: 42-52
file type icon
Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems : DRAFT
  Toyama, Yoshihito, Oyamaguchi, Michio (1993-04)
  数理解析研究所講究録, 833: 53-64
file type icon
On the Confluence of Weakly Normalizing TRSs : Note
  Yamada, Junnosuke (1993-04)
  数理解析研究所講究録, 833: 65-68
file type icon
  服部, 哲, 岡野, 浩三, 東野, 輝夫, 谷口, 健一 (1993-04)
  数理解析研究所講究録, 833: 69-79
file type icon
A Lower Bound of the Expected Maximum Number of Edge-disjoint s-t Paths on Probabilistic Graphs
  CHENG, Peng, MASUYAMA, Shigeru (1993-04)
  数理解析研究所講究録, 833: 80-90
file type icon
  山本, 和英, 増山, 繁, 内藤, 昭三 (1993-04)
  数理解析研究所講究録, 833: 91-97
file type icon
  前田, 尚久, 永持, 仁, 茨木, 俊秀 (1993-04)
  数理解析研究所講究録, 833: 98-109
file type icon
Generalized Geometric Fitting Problems and Weighted Dynamic Voronoi Diagrams
  Imai, Keiko, Imai, Hiroshi (1993-04)
  数理解析研究所講究録, 833: 110-119
file type icon
A Faster Algorithm for the Minimum Capacity Cut Problem of Undirected Networks
  ONO, Tadashi, NAGAMOCHI, Hiroshi, IBARAKI, Toshihide (1993-04)
  数理解析研究所講究録, 833: 120-130
file type icon
  軽野, 義行, 茨木, 俊秀 (1993-04)
  数理解析研究所講究録, 833: 131-141
file type icon
Cooperative Control Algorithms for Anonymous Mobile Robots
  Suzuki, Ichiro, Yamashita, Masafumi (1993-04)
  数理解析研究所講究録, 833: 142-152
file type icon
  角川, 裕次, 山下, 雅史 (1993-04)
  数理解析研究所講究録, 833: 153-163
file type icon
  高橋, 英之 (1993-04)
  数理解析研究所講究録, 833: 164-174
file type icon
A note on one-way multicounter machines and cooperating systems of one-way finite automata
  Wang, Yue, Inoue, Katsushi, Takanami, Itsuo (1993-04)
  数理解析研究所講究録, 833: 175-185
file type icon
  内田, 智之, 正代, 隆義, 宮野, 悟 (1993-04)
  数理解析研究所講究録, 833: 186-196
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 27