Login / Signup
Kazumasa Uchida
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Hand Drawn
Term Rewriting Systems
Graphical Representation
Databases
Top Venues
RTA-TLCA
</>
Publications
</>
Takahito Aoto
,
Yoshihito Toyama
,
Kazumasa Uchida
Proving Confluence of Term Rewriting Systems via Persistency and Decreasing Diagrams.
RTA-TLCA
(2014)