Keita Uchiyama

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

Publications

Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe
Decidability of Termination and Innermost Termination for Term Rewriting Systems with Right-Shallow Dependency Pairs. IEICE Trans. Inf. Syst. (5) (2010)
Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe
Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems. Electron. Notes Theor. Comput. Sci. 204 (2008)