アルゴリズムと計算量の理論
著者
書誌事項
アルゴリズムと計算量の理論
（数理解析研究所講究録, 731）
京都大学数理解析研究所, 1990.10
- タイトル別名
-
[Algorithms and the theory of computational complexity]
- タイトル読み
-
アルゴリズム ト ケイサンリョウ ノ リロン
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
「アルゴリズムと計算量の理論」研究集会報告集(1990年2月1日-2月3日) 研究代表者:小林孝次郎
収録内容
- Cut-free systems for some tense logics / 鹿島亮
- A new head-normalization algorithm for λ-calculus / 野口憲一
- Confluence and completion of membership conditional TRS / 山田順之介
- 高階ユニフィケーションにおける可解なクラスと計算の複雑さ / 原尾政輝, 岩沼宏治
- Occam algorithms for learning from noisy examples / 榊原康文
- Learning equal matrix grammars and multitape automata with structural information / 高田裕志
- 語彙機能文法と計算量 / 西野哲朗
- A learning algorithm for monotone κ-term DNF / 大黒毅, 丸岡章
- 決定的に構文解析ができる2次元アレイ文法のクラスについて / 山本泰則, 森田憲一
- 1次元2近傍可逆的セル・オートマトンについて / 森田憲一
- 一方向マルチプロセッサ有限オートマタのある性質 / 角川裕次, 松野浩嗣, 井上克司, 高浪五男
- Closure properties of ω-languages under morphism and inverse morphism / 守谷哲夫
- 高々スター次数nの拡張正規表現 / 劉僖根, 橋口攻三郎
- 消費税に対する「分割買い」について / 伊藤暁, 井上克司, 高浪五男
- Lexicographically optimal base of a submodular system with respect to a weight vector / 岩村覚三
- 凸多角形の多角形領域内へのmaximin配置問題とそれに関連した動的Voronoi図 / 青沼裕美, 今井浩, 今井桂子, 徳山豪
- 内点法の平面ネットワークフロー問題への適用 / 今井浩, 田川勇治
- On the largest common subgraph problem / 増山繁, 高橋由雅, 奥山徹, 佐々木慎一
- k-辺連結あるいはk-点連結全域部分グラフについて / 永持仁, 茨木俊秀
- A new series of [Δ[2][p]]-complete problems / 宮野悟
- Grammatical characterizations of P and PSPACE / 陳致中, 戸田誠之助
- Three criteria for selecting variables in the construction of near-optima l decision trees / 宮川正弘, 大津展之
- オブジェクト指向データベースにおける参照によるオブジェクトの関連 / 古川哲也, 上林弥彦
- Towards temporal object-oriented databases / Mohamed El-Sharkawi,上林弥彦
- 全称制約および存在制約を含む集合制約質問の処理法について / 岩井原瑞穂, 上林弥彦
- リンク構造における検索処理効率と更新処理効率の関係について / 木實新一, 古川哲也, 上林弥彦
