ANTONIO JESÚS
RODRÍGUEZ SALAS
Researcher in the period 1991-2023
Thesis
-
Un Estudio algebraico de los cálculos proposicionales de Lukasiewicz 1980
Universitat de Barcelona
Supervised Theses (1)
-
Un estudio algebraico de las lógicas temporales 1994
Universidad de Granada
Theses Committees (3)
-
Committee Member
Diseño de un nuevo algoritmo para búsqueda de patrones en secuencias biológicas 2000Universidad de Granada
TOBES TERÁN, RAQUEL
-
Committee Member
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
-
Committee Member
Sistemes de Gentzen multidimensionals i logiques finitament valorades. Teoría i aplicacions 1996Universitat de Barcelona
Gil Estallo, Ángel Javier