スポンサーリンク

Institute of Information Sciences and Electronics. University of Tsukuba | 論文

• Transforming Termination by Self-Labelling(Theory of Rewriting Systems and Its Applications)

スポンサーリンク