Undecidable Extensions of Monadic First-Order Successor Arithmetic (情報科学の数学的基礎理論と応用)
スポンサーリンク
概要
著者
-
小野 寛晰
School Of Information Science Jaist
-
中村 昭
Department Of Computer Science Meiji University
-
小野 寛晰
広島大学理学部
-
中村 昭
広島大学理学部
-
中村 昭
広島大学工学部応用数学教室
関連論文
- Algebraic semantics for predicate logics and their completeness(Non-Classical Logics and Their Kripke Semantics)
- Some results on reflection principles in fragments of Peano arithmetic(Logic and the Foundations of Mathematics)
- Embedding Theorem for Lattices with Complementation(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
- Pictures of Functions and Their Acceptability by Automata (Mathematical Studies of Information Processing)
- Undecidable Extensions of Monadic First-Order Successor Arithmetic (情報科学の数学的基礎理論と応用)
- Proving Correctness of Algol-Like Programs in a Formal System (アルゴリズムにおける証明論)
- 多値論理とそのモデル (多値論理およびその応用 II)
- Mathematical Theory of ComputationにおけるD. Scottの方法 (プログラムの基礎理論)
- グラフの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について(計算機構に関する数学的基礎理論とその応用)
- シンプル・マルチヘッドオートマタに関する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
- Combinatorial Systemについて (情報理論・実験計画法における組合せ数学の諸問題研究会報告集)
- 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-充足可能性判定問題について (オートマトン理論および言語理論の新展開)
- 辺の短絡除去あるいは辺の開放除去による直並列グラフの構成問題
- On Forming a Series-Parallel Graph by Removing Nodes of a Planar Graph (Studies on Computational Complexities and Related Topics)
- 非決定性シンプルマルチヘッドオ-トマタに関するある性質
- パス限定2次元マルチパスオンラインテセレ-ションアクセプタ