Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 11-20 / 29.

前
1
2
3
次

検索結果:

書誌情報	ファイル
条件式グラフの変形による分散データベースの質問処理(計算機科学の基礎理論とその応用) 吉川, 正俊; 上林, 弥彦 (1985-04) 数理解析研究所講究録, 556: 71-80
論理回路機能の時間的関係の記述と検証(計算機科学の基礎理論とその応用) 木村, 晋二; 矢島, 脩三 (1985-04) 数理解析研究所講究録, 556: 104-115
Redundant Coding and Local Computability in Parallel Computation(Mathematical Foundations of Computer Science and Their Applications) Yasuura, Hiroto; Takagi, Naofumi; Yajima, Shuzo (1985-04) 数理解析研究所講究録, 556: 93-103
STRUCTURAL ANALYSIS OF ANTOMATA NETWORK : STRUCTURALLY REDUCED NETWORK(Mathematical Foundations of Computer Science and Their Applications) Nishio, H.; Saito, T.; Morita, K. (1985-04) 数理解析研究所講究録, 556: 163-170
Some system for map generation(Mathematical Foundations of Computer Science and Their Applications) Nakamura, Akira; Aizawa, Kunio (1985-04) 数理解析研究所講究録, 556: 116-121
形付項書き換えシステム(計算機科学の基礎理論とその応用) 外山, 芳人 (1985-04) 数理解析研究所講究録, 556: 147-150
Complexity of Combinator Reduction Machine(Mathematical Foundations of Computer Science and Their Applications) Hirokawa, Sachio (1985-04) 数理解析研究所講究録, 556: 122-146
プログラミング言語PL/0の代数的仕様記述(計算機科学の基礎理論とその応用) 北, 英彦; 坂部, 俊樹; 稲垣, 康善 (1985-04) 数理解析研究所講究録, 556: 177-186
非決定性同時計算量について(計算機科学の基礎理論とその応用) 守屋, 悦朗; 岩田, 茂樹; 笠井, 琢美 (1985-04) 数理解析研究所講究録, 556: 197-208
相互通信逐次型プロセス系の検証(計算機科学の基礎理論とその応用) 村上, 昌己; 稲垣, 康善 (1985-04) 数理解析研究所講究録, 556: 187-196