Tarín Morales, F. (2011). Optimización de programas Datalog basada en estrategias. http://hdl.handle.net/10251/15639

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/15639

Ficheros en el ítem

Nombre: TFM_Fernando_Tari ...

Tamaño: 1.368Mb

Formato: PDF

Abrir/Preview

Metadatos del ítem

Título:	Optimización de programas Datalog basada en estrategias
Autor:	Tarín Morales, Fernando
Director(es):	Alpuente Frasnedo, María Joubert ., Christophe
Entidad UPV:	Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat
Fecha acto/lectura:	2011-07 Fecha difusión: 2012-05-14
Palabras clave:	Datalog , Lenguaje de especificación , Lógica
Derechos de uso:	Reserva de todos los derechos
Editorial:	Universitat Politècnica de València
Titulación:	Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes D'Informació
Tipo:	Tesis de máster

recommendations

 

Este ítem aparece en la(s) siguiente(s) colección(ones)

• Servicio de alumnado - Trabajos académicos [7391]
  

Mostrar el registro completo del ítem