書誌情報	ファイル
表紙・目次    (1982-05)   数理解析研究所講究録, 458
Listing Subtrees of a Binary Tree (形式言語理論とオートマトン理論)   疋田, 輝雄 (1982-05)   数理解析研究所講究録, 458: 1-10
ヒープの解析 (形式言語理論とオートマトン理論)   内村, 桂輔 (1982-05)   数理解析研究所講究録, 458: 11-19
等価性判定問題が可解であるdpdaの一つの部分クラスについて (形式言語理論とオートマトン理論)   関本, 彰次 (1982-05)   数理解析研究所講究録, 458: 20-29
付随式を用いる1階述語論理の証明図作成方法 (形式言語理論とオートマトン理論)   大芝, 猛; 永田, 周郎; 舟橋, 栄 (1982-05)   数理解析研究所講究録, 458: 30-39
ニ部グラフの最長初等道と最長初等閉路について (形式言語理論とオートマトン理論)   植村, 憲治 (1982-05)   数理解析研究所講究録, 458: 40-46
3-連結グラフの連結点被覆問題 (形式言語理論とオートマトン理論)   渡辺, 敏正; 中村, 昭 (1982-05)   数理解析研究所講究録, 458: 47-53
最小切点集合を求めるための$O(N^2)$アルゴリズム (形式言語理論とオートマトン理論)   戸田, 誠之助; 笠井, 琢美 (1982-05)   数理解析研究所講究録, 458: 54-63
グラフの枝短絡除去問題 (形式言語理論とオートマトン理論)   平田, 富夫; 浅野, 孝夫 (1982-05)   数理解析研究所講究録, 458: 64-73
グラフ理論におけるNL-完全な問題 (形式言語理論とオートマトン理論)   深沢, 良彰; 岩田, 茂樹 (1982-05)   数理解析研究所講究録, 458: 74-83
On Reliability and Efficiency of Probabilistic Algorithms (形式言語理論とオートマトン理論)   WATANABE, OSAMU (1982-05)   数理解析研究所講究録, 458: 84-93
非対称通信路における符号について (形式言語理論とオートマトン理論)   大川, 知 (1982-05)   数理解析研究所講究録, 458: 94-102
非決定性プログラムの全面的正当性 (形式言語理論とオートマトン理論)   村上, 昌己; 稲垣, 康善; 本多, 波雄 (1982-05)   数理解析研究所講究録, 458: 103-112
On Permutations of Wires and States (形式言語理論とオ-トマトン理論)   BROWN, F.M.; IGARASHI, YOSHIHIDE (1982-05)   数理解析研究所講究録, 458: 113-121
循環型シフト回路の埋め込み面積について (形式言語理論とオートマトン理論)   瀬谷, 和夫; 丸岡, 章; 木村, 正行 (1982-05)   数理解析研究所講究録, 458: 122-131
組み合せ論理回路の面積複雑度 (形式言語理論とオートマトン理論)   安浦, 寛人; 矢島, 脩三 (1982-05)   数理解析研究所講究録, 458: 132-141
ハードウェアアルゴリズムの記述法について (形式言語理論とオートマトン理論)   大井, 康; 安浦, 寛人; 矢島, 脩三 (1982-05)   数理解析研究所講究録, 458: 142-151
関係データベースにおけるRepresentative Instanceに関する一結果 (形式言語理論とオートマトン理論)   岩崎, 元昭; 伊藤, 実; 嵩, 忠雄 (1982-05)   数理解析研究所講究録, 458: 152-161
Recovery of Incomplete Tables under Data Dependencies (形式言語理論とオートマトン理論)   MIYANO, SATORU; HARAGUCHI, MAKOTO (1982-05)   数理解析研究所講究録, 458: 162-171
関係データベースシステムにおける従属性を利用したデータの表現について (形式言語理論とオートマトン理論)   上林, 弥彦; 田中, 克己; 武田, 浩一; 矢島, 脩三 (1982-05)   数理解析研究所講究録, 458: 172-181