Collection home page

Fundamental Theories on Mathematical Information Sciences and Their Applications   22
(http://hdl.handle.net/2433/101350)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 22
BibliographyContents
表紙・目次
   (1981-03)
  数理解析研究所講究録, 421
file type icon
オートマトンのクラスのデカルト合成 (数理情報科学の基礎理論と応用)
  伊藤, 正美, 田中, 源次郎 (1981-03)
  数理解析研究所講究録, 421: 1-14
file type icon
Pushdown Automata with Terminal Languages (数理情報科学の基礎理論と応用)
  SAKAROVITCH, JACQUES (1981-03)
  数理解析研究所講究録, 421: 15-29
file type icon
A Move Problem on Weighted Digraphs (数理情報科学の基礎理論と応用)
  NARUSHIMA, HIROSHI (1981-03)
  数理解析研究所講究録, 421: 30-35
file type icon
ホヤ卵割パターンにあらわれるグラフ列について (数理情報科学の基礎理論と応用)
  土居, 洋文 (1981-03)
  数理解析研究所講究録, 421: 36-46
file type icon
On a Relationship between Graph L-Systems and Picture Languages (数理情報科学の基礎理論と応用)
  AIZAWA, KUNIO, NAKAMURA, AKIRA (1981-03)
  数理解析研究所講究録, 421: 47-60
file type icon
回転入カをもつ2次元オートマタ : 和形と積形の関係 (数理情報科学の基礎理論と応用)
  井上, 克司, 高浪, 五男, 谷口, 弘 (1981-03)
  数理解析研究所講究録, 421: 61-76
file type icon
オートマタ理論における解析,制御及び合成の各志向の明確化について (数理情報科学の基礎理論と応用)
  安在, 弘幸 (1981-03)
  数理解析研究所講究録, 421: 77-91
file type icon
代数的仕様記述における詳細化 : 特に抽象的順序機械の場合 (数理情報科学の基礎理論と応用)
  鈴木, 一郎, 杉山, 裕二, 谷口, 健一, 嵩, 忠雄 (1981-03)
  数理解析研究所講究録, 421: 92-105
file type icon
多値従属を考慮した関係表現における制約の導出 (数理情報科学の基礎理論と応用)
  伊藤, 実, 岩崎, 元昭, 谷口, 健一, 嵩, 忠雄 (1981-03)
  数理解析研究所講究録, 421: 106-120
file type icon
Recurrent Strings in a OL Language (数理情報科学の基礎理論と応用)
  NISHIDA, TAISHIN, KOBUCHI, YOICHI (1981-03)
  数理解析研究所講究録, 421: 121-133
file type icon
1つのL SchemeにおけるLocally Catenative Systemについて (数理情報科学の基礎理論と応用)
  関, 成子, 小渕, 洋一 (1981-03)
  数理解析研究所講究録, 421: 134-148
file type icon
記憶階層のもとでの結合操作について (数理情報科学の基礎理論と応用)
  上林, 弥彦, 安浦, 寛人, 岩間, 一雄, 矢島, 脩三 (1981-03)
  数理解析研究所講究録, 421: 149-162
file type icon
オンライン計算に於ける領域計算量 (数理情報科学の基礎理論と応用)
  町田, 元, 笠井, 琢美 (1981-03)
  数理解析研究所講究録, 421: 163-179
file type icon
組合せ論理回路による有限体上の多項式演算の複雑さ (数理情報科学の基礎理論と応用)
  安浦, 寛人, 矢島, 脩三 (1981-03)
  数理解析研究所講究録, 421: 180-192
file type icon
論理回路の検査入カ生成アルゴリズムについて (数理情報科学の基礎理論と応用)
  佐伯, 俊則, 矢島, 脩三 (1981-03)
  数理解析研究所講究録, 421: 193-207
file type icon
On Weak Persistency of Petri Nets (数理情報科学の基礎理論と応用)
  山崎, 秀記 (1981-03)
  数理解析研究所講究録, 421: 208-217
file type icon
自己シャフルに関する判定問題について (数理情報科学の基礎理論と応用)
  岩間, 一雄 (1981-03)
  数理解析研究所講究録, 421: 218-231
file type icon
Horn節集合による計算について (数理情報科学の基礎理論と応用)
  石橋, 稔彦, 鈴木, 博, 山崎, 進, 堂下, 修司 (1981-03)
  数理解析研究所講究録, 421: 232-246
file type icon
時間を入れたブール代数の公理系 (数理情報科学の基礎理論と応用)
  高橋, 英之 (1981-03)
  数理解析研究所講究録, 421: 247-261
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 22