Ikuo Kaji

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1990

1 Masahito Kurihara, Ikuo Kaji: Modular Term Rewriting Systems and the Termination. Inf. Process. Lett. 34(1): 1-4 (1990)

	1990
1		Masahito Kurihara, Ikuo Kaji: Modular Term Rewriting Systems and the Termination. Inf. Process. Lett. 34(1): 1-4 (1990)

Coauthor Index