التفاصيل البيبلوغرافية
| العنوان: |
Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems |
| المؤلفون: |
Uchiyama, Keita, 21262, Sakai, Masahiko, 21263, Sakabe, Toshiki, 21264 |
| سنة النشر: |
2007 |
| المجموعة: |
Nagoya University: NAGOYA Repository / 名古屋大学学術機関リポジトリ |
| الوصف: |
Yi and Sakai [9] showed that the termination problem is a decidable property for the class of semi-constructor term rewriting systems, which is a superclass of the class of right ground term rewriting systems. The decidability was shown by the fact that every non-terminating TRS in the class has a loop. In this paper we modify the proof of [9] to show that both innermost termination and μ-termination are decidable properties for the class of semi-constructor TRSs. ; journal article |
| نوع الوثيقة: |
other/unknown material |
| وصف الملف: |
application/pdf |
| اللغة: |
English |
| Relation: |
Proceedings of 7th International Workshop on Reduction Strategies in Rewriting and Programming (WRS2007) Paris; 16; 27; http://hdl.handle.net/2237/9238; https://nagoya.repo.nii.ac.jp/record/7548/files/sakai_2.pdf |
| الاتاحة: |
http://hdl.handle.net/2237/9238
https://nagoya.repo.nii.ac.jp/record/7548/files/sakai_2.pdf |
| رقم الانضمام: |
edsbas.61B95E23 |
| قاعدة البيانات: |
BASE |