Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Universidad Politecnica de Valencia Departamento de Sistemas Informaticos y Computacion
 

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