Collection home page

Theory of Formal Languages and Theory of Automata   34
(http://hdl.handle.net/2433/101510)

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