dblp.uni-trier.dewww.uni-trier.de

Takashi Nagaya

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Yoshihito Toyama [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)