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
Termination of Narrowing: Automated
Proofs and Modularity Properties
Candidate:
Jos´e Iborra
Supervisors:
Mar´ia Alpuente
Santiago Escobar
September 6, 2010
This work has been partially supported by the EU (FEDER) and the Spanish MEC/MICINN,
under grant TIN 2007-68093-C02-02, Integrated Action HA 2006-0007, and General-
itat Valenciana GVPRE/2008/113.
Author's address:
Departamento de Sistemas Inform´aticos y Computaci´on
Universidad Polit´ecnica de Valencia
Camino de Vera, s/n
46022 Valencia

  

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

 

Collections: Computer Technologies and Information Sciences