Summary: 



Termination of context-sensitive rewriting by

rewriting ?



Salvador Lucas


Departamento de Sistemas Inform'aticos y Computaci'on
Universidad Polit'ecnica de Valencia
Camino de Vera s/n, E-46071 Valencia, Spain.
e.mail: slucas@dsic.upv.es

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

Collections: Computer Technologies and Information Sciences