2024-03-29T05:09:43Z
https://nagoya.repo.nii.ac.jp/oai
oai:nagoya.repo.nii.ac.jp:00007549
2023-01-16T03:53:07Z
312:598:599
Convergent Term Rewriting Systems for Inverse Computation of Injective Functions
Nishida, Naoki
21265
Sakai, Masahiko
21266
Kato, Terutoshi
21267
This paper shows a sufficient syntactic condition for constructor TRSs whose inverse-computation CTRSs generated by Nishida, Sakai and Sakabe's inversion compiler are confluent and operationally terminating. By replacing the unraveling at the second phase of the compiler with Serbanuta and Rosu's transformation, we generate convergent TRSs for inverse computation of injective functions satisfying the sufficient condition.
journal article
2007-06
application/pdf
Proceedings of the 9th International Workshop on Termination
77
81
http://hdl.handle.net/2237/9239
https://nagoya.repo.nii.ac.jp/record/7549/files/sakai_3.pdf
eng