拡張された2-充足可能性判定問題について (オートマトン理論および言語理論の新展開)
スポンサーリンク
概要
著者
関連論文
- Undecidable Extensions of Monadic First-Order Successor Arithmetic (情報科学の数学的基礎理論と応用)
- グラフの3-辺連結化について(計算アルゴリズムと計算量の基礎理論)
- Some Properties of Bottom-Up Cellular Pyramids (情報科学の数学的基礎理論と応用)
- グラフの辺付加問題による耐故障ネットワ-クの構成
- 耐故障ネットワークと辺付加問題(計算アルゴリズムと計算量の基礎理論)
- 固定ルーティングネットワークにおける無故障な経由ルート数の評価
- 辺の付加によるグラフの拡大構成問題(グラフ理論とその応用)
- 辺付加によるグラフの拡大構成問題(計算機科学の基礎理論)
- 3-連結グラフの連結点被覆問題 (形式言語理論とオートマトン理論)
- 辺短絡除去問題のNP-困難性について(技術談話室)
- 辺開放除去問題のNP-困難性について
- 平面グラフの点除去による2端子直並列グラフの構成問題(技術談話室)
- 辺の短絡除去による平面グラフ化問題について
- 辺の短絡除去による平面グラフ化問題--最大節点次数がたかだか3の場合(技術談話室)
- 辺の短絡除去による2端子直並列グラフの構成問題(技術談話室)
- 辺の開放除去による2端子直並列グラフの構成問題(技術談話室)
- A Graph Medial Axis Transform
- ラフ集合--その理論と応用-2-ラフ集合と論理・推論
- ラフ集合--その理論と応用-1-ラフ集合--その基本概念と知識情報
- On Confluent PCE grammars
- アレイ文法 : その理論と応用
- グラフ・グラマとその生成機能 (生成発展系--アルゴリズムとグラマ)
- Graph grammars with path controlled embedding
- 働き者の海狸の話 (不可能)
- Map OL systems with markers(Algorithms : Mathematical Foundations and Applications)
- On a chain-like connectivity of three-dimensional digital pictures(Algorithms : Mathematical Foundations and Applications)
- Some system for map generation(Mathematical Foundations of Computer Science and Their Applications)
- 細胞分裂--そのオ-トマトン論モデル (オ-トマトン構造)
- ディジタル幾何学における図形とそのComputational Complexityについて(計算機構に関する数学的基礎理論とその応用)
- 分散形システムにおけるデッドロックの検出と回復
- データベース問合せ言語の変換アルゴリズムについて(アルゴリズムの数学的基礎理論とその応用)
- 3. ハードウェアアルゴリズムの設計法 3.3 シストリック配列とバス付きセル配列上のハードウエアアルゴリズム (VLSI向きハードウェアアルゴリズム)
- 会議スケジュールの自動調整
- VLSI設計におけるチャネルグラフ分割問題について(グラフ理論とその応用)
- 分散型データベースにおける単純問合せの最適化について(計算機構に関する数学的基礎理論とその応用)
- シンプル・マルチヘッドオートマタに関する2,3の性質 (計算機構の数学的研究)
- 2次元オンラインテセレ-ションアクセプタ並びにその変種に関するある性質--トポロジカルな性質
- 検知形マルチヘッドオ-トマタに関する二,三の性質(技術談話室)
- 2次元オンラインテセレ-ションアクセプタとその変種の受理能力に関する整理
- 1記号上の2次元オ-トマタに関するある性質--2次元オ-トマタによる関数の認識可能性
- 2次元非決定性有限オ-トマタと直並列アレ-アクセプタに関するある性質
- 直並列アレイアクセプタとニ次元マーカーオートマトンに関するある性質 (オートマトン理論および言語理論の新展開)
- n次元オンラインテセレ-ションアクセプタ
- 書き換えをしない2次元テ-プ上のオ-トマタに関するある性質(技術談話室)
- 決定性2次元有限オ-トマトンに関する二,三の決定問題(技術談話室)
- 2次元オンラインテセレ-ションアクセプタに関するある性質
- 直並列アレイアクセプタと2次元2マ-カ-オ-トマトンのある性質(技術談話室)
- 2次元オンラインテセレ-ションアクセプタと1次元限定セル構造アクセプタの関係
- 1方向直並列アレイアクセプタと2次元1マ-カ-オ-トマトンのある性質(技術談話室)
- Σ-ストラクチュアオ-トマトンに関する二,三のトポロジカルな性質
- 決定性シンプルアトミックストラクチュアオ-トマタに関する二,三の性質(技術談話室)
- 2次元・オンライン・テセレ-ションアクセプタの2,3の性質
- 直並列アレイアクセプタに関するある性質(技術談話室)
- あいまいな識別不可能性の代数構造について
- 不確定な情報の論理的表現について
- A decidability result of the Logic based on fuzzy rough sets
- LSI設計の配線におけるグラフの分割(計算機科学の基礎理論)
- 正規集合を受理するパターン・マッチング・マシン(計算機構に関する数学的基礎理論とその応用)
- On a 3-Valued Logic Connected with Incomplete Information Data Bases (多値論理およびその応用)
- ある無限多値論理とパターンの特微づけについて (多値論理およびその応用 II)
- 単項述語論理のあるクラスに対する決定手続きのComputational Complexityについて
- 2-充足可能性判定問題のある拡張(技術談話室)
- One-Pass Algorithms for Properties of Three-Dimensional Pictures (形式言語理論とオ-トマトン理論)
- On a Relationship between Graph L-Systems and Picture Languages (数理情報科学の基礎理論と応用)
- 2分検索木上のセレクティブトラバースに関するある改良 (情報科学の数学的基礎理論と応用)
- モジュールの再構成 : 共有を許す場合 (情報科学の数学的基礎理論と応用)
- プロテクションシステムのセキュリティ判定問題 (計算機科学の数学的基礎)
- ペトリネットのサブクラスの$\Sigma$スライスによる表現能カ比較について (計算機構の数学的研究)
- 拡張された2-充足可能性判定問題について (オートマトン理論および言語理論の新展開)
- 辺の短絡除去あるいは辺の開放除去による直並列グラフの構成問題
- On Forming a Series-Parallel Graph by Removing Nodes of a Planar Graph (Studies on Computational Complexities and Related Topics)
- 非決定性シンプルマルチヘッドオ-トマタに関するある性質
- パス限定2次元マルチパスオンラインテセレ-ションアクセプタ
- Pセンタ問題およびデータ変換に関連した問題の計算複雑さ (計算の複雑性に関する研究)