Decidable/undecidable properties of conditional term rewriting systems
スポンサーリンク
概要
- 論文の詳細を見る
- 北陸先端科学技術大学院大学の論文
- 1998-12-04
著者
-
Nagaya Takashi
School Of Information Science Japan Advanced Institute Of Science And Technology Hokuriku
-
Aoto Takahito
Department of Computer Science, Gunma University
-
Aoto Takahito
Department Of Computer Science Gunma University
関連論文
- Decidable/undecidable properties of conditional term rewriting systems
- Decidability for left-linear growing term rewriting systems
- NVNF-sequentiality of Left-linear Term Rewriting Systems(Theory of Rewriting Systems and Its Applications)