Summary: Universidad Polit´ecnica de Valencia
Departamento de Sistemas Inform´aticos y Computaci´on
Doctorado en Inform´atica
Ph.D. Thesis
Automatic Proofs of Termination of
Context-Sensitive Rewriting
Candidate:
Ra´ul Guti´errez
Supervisor:
Salvador Lucas
September 2010
Work partially supported by the EU (FEDER) and the Spanish MEC, under
grants TIN 2004-7943-C04-02 and TIN 2007-68118-C02.
Author's address:
Departamento de Sistemas Inform´aticos y Computaci´on
Universidad Polit´ecnica de Valencia
Camino de Vera, s/n
46022 Valencia
Espa~na
to my father, my mother,

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

Collections: Computer Technologies and Information Sciences