コレクションホームページ
0458 形式言語理論とオートマトン理論
34
0458 形式言語理論とオートマトン理論
34
(http://hdl.handle.net/2433/101510)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 20 / 34
書誌情報 | ファイル |
---|---|
表紙・目次 (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 |
文献一覧(目次の昇順ソート): 1 - 20 / 34