AB0389 Hipertriglyceridemic-waist phenotype: a marker of cardiovascular risk in rheumatoid arthritis patients
Guzmán Guzmán, I.P., Zaragoza-García, O., Navarro-Zarza, J.E., Maldonado-Anicacio, J., Castro-Alarcón, N., Parra-Rojas, I.
Published in Annals of the rheumatic diseases (01.06.2018)
Published in Annals of the rheumatic diseases (01.06.2018)
Get full text
Journal Article
AB0355 The relationship between hand prehensile strength, clinical activity and functional capacity in patients with rheumatoid arthritis
Guzmán Guzmán, I.P., Navarro-Zarza, J.E., Alonso-Silverio, G.A., Alarcón-Paredes, A., Jerez-Mayorga, D., Parra-Rojas, I.
Published in Annals of the rheumatic diseases (01.06.2018)
Published in Annals of the rheumatic diseases (01.06.2018)
Get full text
Journal Article
AB0289 Paraoxonasa 1 activity is modulated by anti-rheumatic treatment and l55m polymorphism in patients with rheumatoid arthritisfrom southern mexico
Zaragoza-García, O., Moreno-Godínez, M.E., Parra-Rojas, I., Navarro-Zarza, J.E., Castro-Alarcón, N., Guzmán-Guzmán, I.P.
Published in Annals of the rheumatic diseases (01.06.2018)
Published in Annals of the rheumatic diseases (01.06.2018)
Get full text
Journal Article
A New Algebraic Tool for Automatic Theorem Provers
Cordero, P., Gutiérrez, G., Martínez, J., de Guzmán, I.P.
Published in Annals of mathematics and artificial intelligence (01.12.2004)
Published in Annals of mathematics and artificial intelligence (01.12.2004)
Get full text
Journal Article
Non-deterministic ideal operators: An adequate tool for formalization in Data Bases
Cordero, P., Mora, A., de Guzmán, I.P., Enciso, M.
Published in Discrete Applied Mathematics (15.03.2008)
Published in Discrete Applied Mathematics (15.03.2008)
Get full text
Journal Article
Generalizations of lattices via non-deterministic operators
Martínez, J., Gutiérrez, G., de Guzmán, I.P., Cordero, P.
Published in Discrete mathematics (28.05.2005)
Published in Discrete mathematics (28.05.2005)
Get full text
Journal Article
Reductions for non-clausal theorem proving
Aguilera, G., de Guzmán, I.P., Ojeda-Aciego, M., Valverde, A.
Published in Theoretical computer science (06.09.2001)
Published in Theoretical computer science (06.09.2001)
Get full text
Journal Article
Implicates and reduction techniques for temporal logics
de Guzmán, I.P, Ojeda‐Aciego, M, Valverde, A
Published in Annals of mathematics and artificial intelligence (01.01.1999)
Published in Annals of mathematics and artificial intelligence (01.01.1999)
Get full text
Journal Article