Characterization of $\omega$-Regular Languages by First-Order Formulas : An Extended Abstract(Mathematical Theories on Computing Schemes and Their Applications)
スポンサーリンク
概要
著者
-
山崎 秀記
一橋大学大学院商学研究科
-
小林 孝次郎
Tokyo Institute of Technology, Department of Information Science
-
高橋 正子
Tokyo Institute of Technology, Department of Information Science
-
山崎 秀記
Tokyo Institute of Technology, Department of Information Science
-
高橋 正子
東京工業大学理学部
-
小林 孝次郎
Tokyo Institute Of Technology Department Of Information Science
関連論文
- ペトリネットの解析とプレスバーガー算術
- インターネット・セキュリティの原理 : 公開鍵暗号系とゼロ知識証明
- Literal shuffle on $\omega$-languages(Semigroups, Formal Languages and Computer Systems)
- ペトリネットとその言語について(半群・形式言語および語の組合せ論)
- RIGHT CONGRUENCES FOR $\omega$-REGULAR LANGUAGES
- LOGICAL FORMULAS FOR PETRI NET $\omega$-LANGUAGES
- 無限語上のオートマトンで受理可能な言語のクラスについて
- 無限語上のオ-トマトンで受理可能な言語のクラスについて
- 計算できない問題について
- ペトリネットのω -言語と論理式
- ペトリネットのω-言語と論理式 (計量・数理分析特集)
- ペトリネットの理論と応用
- Characterization of $\omega$-Regular Languages by First-Order Formulas : An Extended Abstract(Mathematical Theories on Computing Schemes and Their Applications)
- 7. 順列の生成法 (アルゴリズムの最近の動向)
- Generalized Parenthesis Languages and Minimalization of Their Parenthesis Parts (形式言語理論とオートマトン理論)
- On Weak Persistency of Petri Nets (数理情報科学の基礎理論と応用)
- プログラムの正当性を検証する新しい方法
- 74-19 プログラムスキーム, リカージョンスキームと形式言語
- 73-22 線型非特異オートマトンの半群について
- Parallel Reductions in $\lambda$-Calculus
- スコット理論
- SORにおける加速定数の決定について (近似計算とシミュレーションによる近似解法研究会報告集)
- 情報教育と数学の関わり (教育数学の構築)
- 言語とω言語