Keita Uchiyama

According to our database¹, Keita Uchiyama authored at least 2 papers between 2007 and 2010.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2010

Decidability of Termination and Innermost Termination for Term Rewriting Systems with Right-Shallow Dependency Pairs.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2010

2007

Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, 2007