Loading...
Please wait, while we are loading the content...
NVNF-sequentiality of Left-linear Term Rewriting Systems
| Content Provider | Semantic Scholar |
|---|---|
| Author | Nagaya, Takashi Sakai, Masahiko Toyama, Yoshihito |
| Copyright Year | 1995 |
| Abstract | This paper introduces NVNF-sequentiality which is an extension of NV-sequentiality defined by Oyamaguchi. It is shown that the class of NVNF-sequential systems properly includes the class of -sequential systems, and the indices with respect to NVNFsequentiality are computed for a given term when a term rewriting system is NVNFsequential. NVNF-sequentiality is decidable, and the index reduction is normalizing strategy for NVNF-sequential orthogonal term rewriting systems. |
| Starting Page | 153 |
| Ending Page | 159 |
| Page Count | 7 |
| File Format | PDF HTM / HTML |
| Volume Number | 950 |
| Alternate Webpage(s) | https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/60326/1/0950-24.pdf |
| Alternate Webpage(s) | https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/59672/1/0918-11.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |