Decidable/Undecidable Properties of Conditional Term Rewriting Systems (Languages, Algebra and Computer Systems)
スポンサーリンク
概要
著者
関連論文
- 単純型付き項書換え系における停止性の自動証明
- 重なりのある強逐次系のインデックス簡約について
- NVNF-sequentiality of Left-linear Term Rewriting Systems
- NVNF-逐次系におけるインデックスの決定可能性
- Decidable/Undecidable Properties of Conditional Term Rewriting Systems (Languages, Algebra and Computer Systems)