書誌情報 | ファイル |
表紙・目次 (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
| |