Automating confluence check of term rewriting systems
Junichi Yoshida, Takahito Aoto, Yoshihito Toyama
研究成果: Article › 査読
3
被引用数
(Scopus)