Tsubasa Sakata

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Tsubasa Sakata, Naoki Nishida, Toshiki Sakabe
On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs. WFLP (2011)