|
標題および責任表示
|
アルゴリズムと計算量の理論
アルゴリズム ト ケイサンリョウ ノ リロン
|
|
出版・頒布事項
|
[京都] : 京都大学数理解析研究所 , 1990.10
|
|
形態事項
|
iv,297p ; 26cm
|
|
書誌構造リンク
|
数理解析研究所講究録||スウリ カイセキ ケンキュウショ コウキュウロク <BB00036669> 731//a
|
|
その他の標題
|
異なりアクセスタイトル:[Algorithms and the theory of computational complexity]
|
|
内容著作注記
|
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次元アレイ文法のクラスについて / 山本泰則, 森田憲一
ケッテイテキ ニ コウブン カイセキ ガ デキル 2ジゲン アレイ ブンポウ ノ クラス ニ ツイテ
|
|
内容著作注記
|
1次元2近傍可逆的セル・オートマトンについて / 森田憲一
1ジゲン 2キンボウ カギャクテキ セル ・ オートマトン ニ ツイテ
|
|
内容著作注記
|
一方向マルチプロセッサ有限オートマタのある性質 / 角川裕次, 松野浩嗣, 井上克司, 高浪五男
イチホウコウ マルチプロセッサ ユウゲン オートマタ ノ アル セイシツ
|
|
内容著作注記
|
Closure properties of ω-languages under morphism and inverse morphism / 守谷哲夫
|
|
内容著作注記
|
高々スター次数nの拡張正規表現 / 劉僖根, 橋口攻三郎
タカダカ スター ジスウ n ノ カクチョウ セイキ ヒョウゲン
|
|
内容著作注記
|
消費税に対する「分割買い」について / 伊藤暁, 井上克司, 高浪五男
ショウヒゼイ ニ タイスル 「ブンカツガイ」 ニ ツイテ
|
|
内容著作注記
|
Lexicographically optimal base of a submodular system with respect to a weight vector / 岩村覚三
|
|
内容著作注記
|
凸多角形の多角形領域内へのmaximin配置問題とそれに関連した動的Voronoi図 / 青沼裕美, 今井浩, 今井桂子, 徳山豪
トツ タカクケイ ノ タカクケイ リョウイキナイ エノ maximin ハイチ モンダイ ト ソレ ニ カンレンシタ ドウテキ Voronoi ズ
|
|
内容著作注記
|
内点法の平面ネットワークフロー問題への適用 / 今井浩, 田川勇治
ナイテンホウ ノ ヘイメン ネットワーク フロー モンダイ エノ テキヨウ
|
|
内容著作注記
|
On the largest common subgraph problem / 増山繁, 高橋由雅, 奥山徹, 佐々木慎一
|
|
内容著作注記
|
k-辺連結あるいはk-点連結全域部分グラフについて / 永持仁, 茨木俊秀
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,上林弥彦
|
|
内容著作注記
|
全称制約および存在制約を含む集合制約質問の処理法について / 岩井原瑞穂, 上林弥彦
ゼンショウ セイヤク オヨビ ソンザイ セイヤク オ フクム シュウゴウ セイヤク シツモン ノ ショリホウ ニ ツイテ
|
|
内容著作注記
|
リンク構造における検索処理効率と更新処理効率の関係について / 木實新一, 古川哲也, 上林弥彦
リンク コウゾウ ニ オケル ケンサク ショリ コウリツ ノ カンケイ ニ ツイテ
|
|
注記
|
「アルゴリズムと計算量の理論」研究集会報告集(1990年2月1日-2月3日) 研究代表者:小林孝次郎
|
|
学情ID
|
BN08827057
|
|
本文言語コード
|
日本語 英語
|
|
著者標目リンク
|
京都大学数理解析研究所||キョウト ダイガク スウリ カイセキ ケンキュウショ <AU00064589>
|
目録検索 ▼
マイライブラリ ▼
