Takashi Nagaya Vis

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* 2002

2 EE Takashi Nagaya, Yoshihito Toyama: Decidability for Left-Linear Growing Term Rewriting Systems. Inf. Comput. 178(2): 499-514 (2002)

1999

1 EE Takashi Nagaya, Yoshihito Toyama: Decidability for Left-Linaer Growing Term Rewriting Systems. RTA 1999: 256-270

*	2002
2	EE	Takashi Nagaya, Yoshihito Toyama: Decidability for Left-Linear Growing Term Rewriting Systems. Inf. Comput. 178(2): 499-514 (2002)
	1999
1	EE	Takashi Nagaya, Yoshihito Toyama: Decidability for Left-Linaer Growing Term Rewriting Systems. RTA 1999: 256-270

Coauthor Index

1 Yoshihito Toyama [1] [2]