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