Keita Uchiyama

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

1 Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe: Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems. Electr. Notes Theor. Comput. Sci. 204: 21-34 (2008)

	2008
1		Keita Uchiyama, Masahiko Sakai, Toshiki Sakabe: Decidability of Innermost Termination and Context-Sensitive Termination for Semi-Constructor Term Rewriting Systems. Electr. Notes Theor. Comput. Sci. 204: 21-34 (2008)

Coauthor Index