Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 30.

前
1
2
3
次

検索結果:

書誌情報	ファイル
データベースシステムの同時処理制御における直列可能性のいくつかのクラスについて(計算機科学の基礎理論とその応用) 木庭, 淳; 室, 章治郎; 長谷川, 利治 (1985-04) 数理解析研究所講究録, 556: 59-70
EFFICIENT IMPLEMENTATIONS OF PARALLEL SORT ALGORITHMS ON A MESH-CONNECTED PROCESSOR ARRAY(Mathematical Foundations of Computer Science and Their Applications) Igarashi, Yoshihide; Sado, Kazuhiro; Adachi, Noriaki (1985-04) 数理解析研究所講究録, 556: 37-48
On the Nested Heap Structure in Smoothsort(Mathematical Foundations of Computer Science and Their Applications) Noshita, Kohei; Nakatani, Yoshinobu (1985-04) 数理解析研究所講究録, 556: 1-16
垂直型3層チャネル配線アルゴリズムについて(計算機科学の基礎理論とその応用) 永松, 正博 (1985-04) 数理解析研究所講究録, 556: 17-36
A Distributed Algorithm for Deadlock Detection in Replicated Database Systems(Mathematical Foundations of Computer Science and Their Applications) Ogata, Masanobu; Sugihara, Kazuo; Kikuno, Tohru (1985-04) 数理解析研究所講究録, 556: 49-58
表紙・目次 (1985-04) 数理解析研究所講究録, 556
時空間様相論理ETSLの完全・無矛盾な公理系(計算機科学の基礎理論とその応用) 岩沼, 宏治; 原尾, 政輝; 野口, 正一 (1985-04) 数理解析研究所講究録, 556: 306-318
知識の表現のための「述語」を持たない述語(?)論理"Tuple Logic"の提案(計算機科学の基礎理論とその応用) 森田, 憲一 (1985-04) 数理解析研究所講究録, 556: 294-305
THE COMPLEXITY OF SUBSTITUTIVE PROGRAMS(Mathematical Foundations of Computer Science and Their Applications) Yaku, Takeo; Adachi, Akeo; Futatsugi, Kokichi (1985-04) 数理解析研究所講究録, 556: 319-326
項書き換えシステムの簡約化戦略について(計算機科学の基礎理論とその応用) 直井, 徹; 山下, 雅史; 茨木, 俊秀; 本多, 波雄 (1985-04) 数理解析研究所講究録, 556: 151-162