@PHDTHESIS{tesis-carlitos, AUTHOR = {Carlos Guerrero Garc{\'\i}a}, TITLE = {Un modelo multicriterio de localizaci\'on de centros no deseados con pesos}, SCHOOL = {Universidad de M\'alaga}, ADDRESS = {Espa\~na}, YEAR = 2005 }
@PHDTHESIS{tesis-salva, AUTHOR = {Salvador Merino C\'ordoba}, TITLE = {Automatizaci\'on del dise\~no de torres}, SCHOOL = {Universidad de M\'alaga}, ADDRESS = {Espa\~na}, YEAR = 2003 }
@PHDTHESIS{tesis-paco, AUTHOR = {Francisco J. Rodr\'{\i}guez S\'anchez}, TITLE = {Conexiones de Galois D\'ebiles y nd-operadores de cierre, Razonamiento con Ejemplos}, SCHOOL = {Universidad de M\'alaga}, ADDRESS = {Espa\~na}, YEAR = 2002 }
@PHDTHESIS{tesis-angel, AUTHOR = {Angel Mora Bonilla}, TITLE = {Dependencias Funcionales, ideal-operadores no deterministas y operadores de sustituci\'on}, SCHOOL = {Universidad de M\'alaga}, ADDRESS = {Espa\~na}, YEAR = 2002 }
@PHDTHESIS{tesis-jesus, AUTHOR = {Jes\'us Medina Moreno}, TITLE = {Ret\'\i culos multiadjuntos y teoremas de continuidad para el operador de consecuencias}, SCHOOL = {Universidad de M\'alaga}, ADDRESS = {Espa\~na}, YEAR = 2002 }
@PHDTHESIS{tesis-inma, AUTHOR = {Inma Fortes Ruiz}, TITLE = {Prospecci\'on de datos, aprendizaje computacional y t\'ecnicas estad\'\i sticas para la obtenci\'on de reglas}, SCHOOL = {Universidad de M\'alaga}, ADDRESS = {Espa\~na}, YEAR = 2002 }
@PHDTHESIS{tesis-sixto, AUTHOR = {Sixto S\'anchez Merino}, TITLE = {Sistemas de colas con demandas repetidas y con varios flujos de entrada}, SCHOOL = {Universidad de M\'alaga}, ADDRESS = {Espa\~na}, YEAR = 2002 }
@PHDTHESIS{tesis-gloria, AUTHOR = {Gloria Guti{\'e}rrez-Barranco}, TITLE = {Bases de ideales en multirret{\'{\i}}culos y {D}elta-{\'A}rboles}, SCHOOL = {Universidad de M{\'a}laga}, ADDRESS = {Espa\~na}, YEAR = 2001 }
@PHDTHESIS{tesis-javi, AUTHOR = {Javier Mart{\'{\i}}nez-del-Castillo}, TITLE = {Omega-{\'a}lgebras con operadores no deterministas}, SCHOOL = {Universidad de M\'alaga}, ADDRESS = {Espa\~na}, YEAR = 2000 }
@PHDTHESIS{tesis-pablo, AUTHOR = {P. Cordero}, TITLE = {Ideales y filtros de implicados/implicantes en l\'ogicas temporales con tiempo lineal y discreto}, SCHOOL = {Universidad de M\'alaga}, ADDRESS = {Espa\~na}, YEAR = 1999 }
@PHDTHESIS{tesis-piti, AUTHOR = {A. Valverde}, TITLE = {$\Delta$-\'arboles de implicantes e implicados y reducciones de l\'ogicas signadas en {ATP}s}, SCHOOL = {Universidad de M\'alaga}, ADDRESS = {Espa\~na}, YEAR = 1998 }
@PHDTHESIS{tesis-gabriel, AUTHOR = {G. Aguilera}, TITLE = {Reducciones totales y parciales para el an\'alisis de validez y construcci\'on de modelos en {M}3}, SCHOOL = {Universidad de M\'alaga}, ADDRESS = {Espa\~na}, YEAR = 1997 }
@PHDTHESIS{tesis-ojeda, AUTHOR = {M. Ojeda-Aciego}, TITLE = {M\'etodos formales para normalizaci\'on en l\'ogica de primer orden usando la metodolog\'\i a {TAS}}, SCHOOL = {Universidad de M\'alaga}, ADDRESS = {Espa\~na}, YEAR = 1996 }
@PHDTHESIS{tesis-enciso, AUTHOR = {M. Enciso}, TITLE = {L\'ogica temporal y demostraci\'on autom\'atica de teoremas. Eficiencia y paralelismo}, SCHOOL = {Universidad de M\'alaga}, ADDRESS = {Espa\~na}, YEAR = 1995 }
@PHDTHESIS{tesis-pacosanz, AUTHOR = {Francisco Sanz}, TITLE = {Hacia una alternativa a resoluci\'on}, SCHOOL = {Universidad de M\'alaga}, ADDRESS = {Espa\~na}, YEAR = 1992 }
This file has been generated by bibtex2html 1.75