Paper Info
Title
Improving Rewriting Induction Approach for Proving Ground Confluence.
Year
Venue
DocType
2017
FSCD
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Takahito Aoto102.70
Yoshihito Toyama253349.60
Yuta Kimura311.06