Collection home page

Mathematical Foundations of Computer Science and Their Applications   30
(http://hdl.handle.net/2433/98101)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 30
BibliographyContents
表紙・目次
   (1985-04)
  数理解析研究所講究録, 556
file type icon
On the Nested Heap Structure in Smoothsort(Mathematical Foundations of Computer Science and Their Applications)
  Noshita, Kohei, Nakatani, Yoshinobu (1985-04)
  数理解析研究所講究録, 556: 1-16
file type icon
垂直型3層チャネル配線アルゴリズムについて(計算機科学の基礎理論とその応用)
  永松, 正博 (1985-04)
  数理解析研究所講究録, 556: 17-36
file type icon
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
file type icon
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
file type icon
データベースシステムの同時処理制御における直列可能性のいくつかのクラスについて(計算機科学の基礎理論とその応用)
  木庭, 淳, 室, 章治郎, 長谷川, 利治 (1985-04)
  数理解析研究所講究録, 556: 59-70
file type icon
条件式グラフの変形による分散データベースの質問処理(計算機科学の基礎理論とその応用)
  吉川, 正俊, 上林, 弥彦 (1985-04)
  数理解析研究所講究録, 556: 71-80
file type icon
ネットワークデータベースにおける選択・射影・結合質問の処理(計算機科学の基礎理論とその応用)
  古川, 哲也, 上林, 彌彦 (1985-04)
  数理解析研究所講究録, 556: 81-92
file type icon
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
file type icon
論理回路機能の時間的関係の記述と検証(計算機科学の基礎理論とその応用)
  木村, 晋二, 矢島, 脩三 (1985-04)
  数理解析研究所講究録, 556: 104-115
file type icon
Some system for map generation(Mathematical Foundations of Computer Science and Their Applications)
  Nakamura, Akira, Aizawa, Kunio (1985-04)
  数理解析研究所講究録, 556: 116-121
file type icon
Complexity of Combinator Reduction Machine(Mathematical Foundations of Computer Science and Their Applications)
  Hirokawa, Sachio (1985-04)
  数理解析研究所講究録, 556: 122-146
file type icon
形付項書き換えシステム(計算機科学の基礎理論とその応用)
  外山, 芳人 (1985-04)
  数理解析研究所講究録, 556: 147-150
file type icon
項書き換えシステムの簡約化戦略について(計算機科学の基礎理論とその応用)
  直井, 徹, 山下, 雅史, 茨木, 俊秀, 本多, 波雄 (1985-04)
  数理解析研究所講究録, 556: 151-162
file type icon
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
file type icon
Similarity Relation between Automata Networks(Mathematical Foundations of Computer Science and Their Applications)
  SAITO, Takashi, NISHIO, Hidenosuke (1985-04)
  数理解析研究所講究録, 556: 171-176
file type icon
プログラミング言語PL/0の代数的仕様記述(計算機科学の基礎理論とその応用)
  北, 英彦, 坂部, 俊樹, 稲垣, 康善 (1985-04)
  数理解析研究所講究録, 556: 177-186
file type icon
相互通信逐次型プロセス系の検証(計算機科学の基礎理論とその応用)
  村上, 昌己, 稲垣, 康善 (1985-04)
  数理解析研究所講究録, 556: 187-196
file type icon
非決定性同時計算量について(計算機科学の基礎理論とその応用)
  守屋, 悦朗, 岩田, 茂樹, 笠井, 琢美 (1985-04)
  数理解析研究所講究録, 556: 197-208
file type icon
Positive relativizations of low level complexity classes(Mathematical Foundations of Computer Science and Their Applications)
  戸田, 誠之助 (1985-04)
  数理解析研究所講究録, 556: 209-218
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 30