書誌情報	ファイル
表紙・目次    (1983-06)   数理解析研究所講究録, 494
横切り分解によるデータ従属性の保持(計算機構に関する数学的基礎理論とその応用)   上林, 弥彦; 田中, 克己 (1983-06)   数理解析研究所講究録, 494: 1-12
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
関係データベースにおける複数質問処理の効率化について(計算機構に関する数学的基礎理論とその応用)   吉川, 正俊; 上林, 弥彦; 矢島, 脩三 (1983-06)   数理解析研究所講究録, 494: 25-34
分散型データベースにおける単純問合せの最適化について(計算機構に関する数学的基礎理論とその応用)   杉原, 一夫; 宮尾, 淳一; 菊野, 亨 (1983-06)   数理解析研究所講究録, 494: 35-45
REMARKS ON REAL-TIME DETERMINISTIC CONTEXT-FREE LANGUAGES(Mathematical Theories on Computing Schemes and Their Applications)   Igarashi, Yoshihide (1983-06)   数理解析研究所講究録, 494: 46-57
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
A CONSTRUCTION OF THE NERODE EQUIVALENCE IN CLOSED CATEGORIES(Mathematical Theories on Computing Schemes and Their Applications)   河原, 康雄 (1983-06)   数理解析研究所講究録, 494: 70-77
ある種の代数的システムに付随する無限行列の性質(計算機構に関する数学的基礎理論とその応用)   内村, 桂輔 (1983-06)   数理解析研究所講究録, 494: 78-89
基本操作の依存性を利用した並行処理のための手法(計算機構に関する数学的基礎理論とその応用)   近藤, 誠一; 上林, 弥彦; 矢島, 脩三 (1983-06)   数理解析研究所講究録, 494: 90-101
Serializable Classesの構造について(計算機構に関する数学的基礎理論とその応用)   茨木, 俊秀; 亀田, 恒彦; 箕浦, 敏美 (1983-06)   数理解析研究所講究録, 494: 102-113
分散型システムにおける相互排除のためのトークンを用いたスキームについて(計算機構に関する数学的基礎理論とその応用)   室, 章治郎; 加藤, 直樹; 箕浦, 敏美; 長谷川, 利治 (1983-06)   数理解析研究所講究録, 494: 114-125
Transformations of Communicating Sequential Processes(Mathematical Theories on Computing Schemes and Their Applications)   Musha, Hiroyuki; Tokuda, Takehiro (1983-06)   数理解析研究所講究録, 494: 126-136
ディジタル幾何学における図形とそのComputational Complexityについて(計算機構に関する数学的基礎理論とその応用)   中村, 昭; 会沢, 邦夫 (1983-06)   数理解析研究所講究録, 494: 137-147
Gradually Intractable Problems(Mathematical Theories on Computing Schemes and Their Applications)   笠井, 琢美; 岩田, 茂樹 (1983-06)   数理解析研究所講究録, 494: 148-159
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
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
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
多オートマトン系の進化(計算機構に関する数学的基礎理論とその応用)   西尾, 英之助; 斉藤, 隆 (1983-06)   数理解析研究所講究録, 494: 194-202
プログラムの検証と完備な述語のクラス(計算機構に関する数学的基礎理論とその応用)   村上, 昌己; 稲垣, 康善; 本多, 波雄 (1983-06)   数理解析研究所講究録, 494: 203-214