Collection home page

Mathematical Study of Computer Architecture   17
(http://hdl.handle.net/2433/100981)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 17 of 17
BibliographyContents
表紙・目次
   (1977-05)
  数理解析研究所講究録, 296
file type icon
Goto文のないプログラム形について (計算機構の数学的研究)
  岩田, 茂樹 (1977-05)
  数理解析研究所講究録, 296: 1-13
file type icon
Proposal of Programming and Verification Scheme : Program Verification Integrated with Structured Programming (計算機構の数学的研究)
  NAKAJIMA, REIJI, HONDA, MICHIO, NAKAHARA, HAYAO (1977-05)
  数理解析研究所講究録, 296: 14-25
file type icon
Logical Basis of Program Synthesis (計算機構の数学的研究)
  謝, 章文 (1977-05)
  数理解析研究所講究録, 296: 26-35
file type icon
確率オートマトンの代数的性質 (計算機構の数学的研究)
  山田, 和美 (1977-05)
  数理解析研究所講究録, 296: 36-44
file type icon
シンプル・マルチヘッドオートマタに関する2,3の性質 (計算機構の数学的研究)
  井上, 克司, 中村, 昭, 阿江, 忠 (1977-05)
  数理解析研究所講究録, 296: 45-52
file type icon
細胞の状態遷移のオートマトン・モデル : GPスキーム (計算機構の数学的研究)
  西橋, 幹俊 (1977-05)
  数理解析研究所講究録, 296: 53-69
file type icon
Cell Lineage SystemとL Systemにおける生長表現能力 (計算機構の数学的研究)
  西尾, 英之助 (1977-05)
  数理解析研究所講究録, 296: 70-81
file type icon
流れ図の最大道グラフをみつけるアルゴリズムについて (計算機構の数学的研究)
  永松, 正博, 本多, 波雄 (1977-05)
  数理解析研究所講究録, 296: 82-88
file type icon
ペトリネットのサブクラスの$\Sigma$スライスによる表現能カ比較について (計算機構の数学的研究)
  宇都宮, 秀孝, 菊野, 亨 (1977-05)
  数理解析研究所講究録, 296: 89-104
file type icon
論理関数の最小化の手法を利用したリレーショナルデータベースの正規表分解について (計算機構の数学的研究)
  上林, 弥彦 (1977-05)
  数理解析研究所講究録, 296: 105-128
file type icon
内包の外延への還元可能性について (計算機構の数学的研究)
  中松, 和己, 鈴木, 淳之 (1977-05)
  数理解析研究所講究録, 296: 129-145
file type icon
自己組織的に構成される逐次検索表とOpen Scatter Table (計算機構の数学的研究)
  高浪, 五男, 中西, 紫朗, 藤井, 宝久 (1977-05)
  数理解析研究所講究録, 296: 146-153
file type icon
決定性プッシュダウンオートマトンの等価性判定問題についての一結果 (計算機構の数学的研究)
  大山口, 通夫, 本多, 波雄 (1977-05)
  数理解析研究所講究録, 296: 154-167
file type icon
2入出カ対オートマトンによる計算機結合インタフェースの設計手順 (計算機構の数学的研究)
  岩間, 一雄, 上林, 弥彦, 矢島, 脩三 (1977-05)
  数理解析研究所講究録, 296: 168-197
file type icon
Input Sets of Strongly Connected Automata (計算機構の数学的研究)
  ITO, MASAMI (1977-05)
  数理解析研究所講究録, 296: 198-206
file type icon
The Firing Squad Synchronization Problem for Graphs (計算機構の数学的研究)
  NISHITANI, YASUAKI, HONDA, NAMIO (1977-05)
  数理解析研究所講究録, 296: 207-237
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 17 of 17