Summary: :
:
:
Germ'an Vidal Oriola
Doctor en Inform'atica
Mar'ia Alpuente Frasnedo
An'alisis Sem'antico y Transformaci'on
de Programas L'ogico--Funcionales
Departamento de Sistemas Inform'aticos y Computaci'on
Universidad Polit'ecnica de Valencia
Memoria presentada para optar al t'itulo de
Dirigida por
Tribunal de lectura
Septiembre de 1996
Presidente: Isidro Ramos Salavert U.P. Valencia
Vocales: Moreno Falaschi U. Udine
Mario Rodr'iguez Artalejo U.C. Madrid
Fernando Orejas Vald'es U.P. Catalunya
Secretario : Juan Jos'e Moreno Navarro U.P. Madrid


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

Collections: Computer Technologies and Information Sciences