Departmental Bulletin Paper 高階書き換えシステムの合流性自動検証法

小野沢, 倖太

86 ( 1 )  , pp.216 - 217 , 2017-08 , 東北大学電気通信研究所
ISSN:0385-7719
Full-Text

https://tohoku.repo.nii.ac.jp/?action=repository_action_common_download&item_id=124026&item_no=1&attribute_id=18&file_no=1

Number of accesses :  

Other information