Login / Signup
Tomohiro Mizutani
Publication Activity (10 Years)
Years Active: 2007-2007
Publications (10 Years): 0
</>
Publications
</>
Naoki Nishida
,
Tomohiro Mizutani
,
Masahiko Sakai
Transformation for Refining Unraveled Conditional Term Rewriting Systems.
Electron. Notes Theor. Comput. Sci.
174 (10) (2007)