@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