ANTONIO JESÚS
RODRÍGUEZ SALAS
Investigador en el periodo 1991-2023
Tesis doctoral
-
Un Estudio algebraico de los cálculos proposicionales de Lukasiewicz 1980
Universitat de Barcelona
Tesis dirigidas (1)
-
Un estudio algebraico de las lógicas temporales 1994
Universidad de Granada
Tribunales de tesis (3)
-
Vocal del tribunal
Diseño de un nuevo algoritmo para búsqueda de patrones en secuencias biológicas 2000Universidad de Granada
TOBES TERÁN, RAQUEL
-
Vocal del tribunal
Estudi algebraic de les extensions dels càlculs multivalorats de Lukasiewicz: = Estudio algebraico de las extensiones de los cálculos multivalentes de Lukasiewicz 1998Universitat de Barcelona
Gispert Brasó, Joan
-
Vocal del tribunal
Sistemes de Gentzen multidimensionals i logiques finitament valorades. Teoría i aplicacions 1996Universitat de Barcelona
Gil Estallo, Ángel Javier