プログラムの正当性を検証する新しい方法
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人情報処理学会の論文
- 1978-05-15
著者
関連論文
- ペトリネットの解析とプレスバーガー算術
- インターネット・セキュリティの原理 : 公開鍵暗号系とゼロ知識証明
- 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 線型非特異オートマトンの半群について
- 情報教育と数学の関わり (教育数学の構築)