Report on 11th International Conference on Rewriting Techniques and Applications (RTA2000)
第11回 書き換え技法と応用国際会議 (RTA2000) 参加報告

Yoshihito Toyama
2001 Konpyuta sofutowea  
doi:10.11309/jssst.18.306 fatcat:6eaopcvv3ndk7aanv7u76laz7y