Keita Uchiyama Vis

List of publications from the DBLP Bibliography Server - FAQ

* 2008

1 EE 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	EE	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