Collection home page

Mathematical Theories on Computing Schemes and Their Applications   25
(http://hdl.handle.net/2433/101546)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 25
BibliographyContents
表紙・目次
   (1983-06)
  数理解析研究所講究録, 494
file type icon
横切り分解によるデータ従属性の保持(計算機構に関する数学的基礎理論とその応用)
  上林, 弥彦, 田中, 克己 (1983-06)
  数理解析研究所講究録, 494: 1-12
file type icon
MINIMUM DELAY SEMIJOIN SCHEDULES FOR LOCAL AREA DISTRIBUTED DATABASE SYSTEMS(Mathematical Theories on Computing Schemes and Their Applications)
  Masuyama, Shigeru, Muro, Shojiro, Ibaraki, Toshihide, Mizutani, Tadashi, Hasegawa, Toshiharu (1983-06)
  数理解析研究所講究録, 494: 13-24
file type icon
関係データベースにおける複数質問処理の効率化について(計算機構に関する数学的基礎理論とその応用)
  吉川, 正俊, 上林, 弥彦, 矢島, 脩三 (1983-06)
  数理解析研究所講究録, 494: 25-34
file type icon
分散型データベースにおける単純問合せの最適化について(計算機構に関する数学的基礎理論とその応用)
  杉原, 一夫, 宮尾, 淳一, 菊野, 亨 (1983-06)
  数理解析研究所講究録, 494: 35-45
file type icon
REMARKS ON REAL-TIME DETERMINISTIC CONTEXT-FREE LANGUAGES(Mathematical Theories on Computing Schemes and Their Applications)
  Igarashi, Yoshihide (1983-06)
  数理解析研究所講究録, 494: 46-57
file type icon
Characterization of $\omega$-Regular Languages by First-Order Formulas : An Extended Abstract(Mathematical Theories on Computing Schemes and Their Applications)
  Kobayashi, Kojiro, Takahashi, Masako, Yamasaki, Hideki (1983-06)
  数理解析研究所講究録, 494: 58-69
file type icon
A CONSTRUCTION OF THE NERODE EQUIVALENCE IN CLOSED CATEGORIES(Mathematical Theories on Computing Schemes and Their Applications)
  河原, 康雄 (1983-06)
  数理解析研究所講究録, 494: 70-77
file type icon
ある種の代数的システムに付随する無限行列の性質(計算機構に関する数学的基礎理論とその応用)
  内村, 桂輔 (1983-06)
  数理解析研究所講究録, 494: 78-89
file type icon
基本操作の依存性を利用した並行処理のための手法(計算機構に関する数学的基礎理論とその応用)
  近藤, 誠一, 上林, 弥彦, 矢島, 脩三 (1983-06)
  数理解析研究所講究録, 494: 90-101
file type icon
Serializable Classesの構造について(計算機構に関する数学的基礎理論とその応用)
  茨木, 俊秀, 亀田, 恒彦, 箕浦, 敏美 (1983-06)
  数理解析研究所講究録, 494: 102-113
file type icon
分散型システムにおける相互排除のためのトークンを用いたスキームについて(計算機構に関する数学的基礎理論とその応用)
  室, 章治郎, 加藤, 直樹, 箕浦, 敏美, 長谷川, 利治 (1983-06)
  数理解析研究所講究録, 494: 114-125
file type icon
Transformations of Communicating Sequential Processes(Mathematical Theories on Computing Schemes and Their Applications)
  Musha, Hiroyuki, Tokuda, Takehiro (1983-06)
  数理解析研究所講究録, 494: 126-136
file type icon
ディジタル幾何学における図形とそのComputational Complexityについて(計算機構に関する数学的基礎理論とその応用)
  中村, 昭, 会沢, 邦夫 (1983-06)
  数理解析研究所講究録, 494: 137-147
file type icon
Gradually Intractable Problems(Mathematical Theories on Computing Schemes and Their Applications)
  笠井, 琢美, 岩田, 茂樹 (1983-06)
  数理解析研究所講究録, 494: 148-159
file type icon
The Relation between Time and Accepting Probability on Probabilistic Simple Decision Trees : Extended abstract(Mathematical Theories on Computing Schemes and Their Applications)
  WATANABE, Osamu (1983-06)
  数理解析研究所講究録, 494: 160-171
file type icon
A Space Hierarchy Result of Two-Dimensional Alternating Turing Machines with Only Universal States(Mathematical Theories on Computing Schemes and Their Applications)
  INOUE, Katsushi, ITO, Akira, TAKANAMI, Itsuo, Taniguchi, Hiroshi (1983-06)
  数理解析研究所講究録, 494: 172-184
file type icon
Time-optimum parallel binary address setting algorithms for array processors(Mathematical Theories on Computing Schemes and Their Applications)
  Umeo, Hiroshi (1983-06)
  数理解析研究所講究録, 494: 185-193
file type icon
多オートマトン系の進化(計算機構に関する数学的基礎理論とその応用)
  西尾, 英之助, 斉藤, 隆 (1983-06)
  数理解析研究所講究録, 494: 194-202
file type icon
プログラムの検証と完備な述語のクラス(計算機構に関する数学的基礎理論とその応用)
  村上, 昌己, 稲垣, 康善, 本多, 波雄 (1983-06)
  数理解析研究所講究録, 494: 203-214
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 25