An elementary and unified approach to program correctness von Bohorquez V, Jaime A

Volltext

Fibromyalgia prevalence and related factors in a large registry of patients with systemic lupus erythematosus von Torrente-Segarra, Vicenç, Salman-Monte, Tarek C, Rúa-Figueroa, Íñigo, Pérez-Vicente, Sabina, López-Longo, Francisco J, Galindo-Izquierdo, María, Calvo-Alén, Jaime, Olivé-Marqués, Alejandro, Ibañez-Ruán, Jesus, Horcada, Loreto, Sánchez-Atrio, Ana, Montilla, Carlos, Rodríguez-Gómez, Manuel, Díez-Álvarez, Elvira, Martinez-Taboada, Victor, Andreu, José L, Fernández-Berrizbeitia, Olaia, Hernández-Beriain, José A, Gantes, Marian, Hernández-Cruz, Blanca, Pecondón-Español, Ángela, Marras, Carlos, Bonilla, Gema, Pego-Reigosa, José M

Volltext

Juvenile- and adult-onset systemic lupus erythematosus: a comparative study in a large cohort from the Spanish Society of Rheumatology Lupus Registry (RELESSER) von Torrente-Segarra, Vicenç, Salman Monte, Tarek Carlos, Rúa-Figueroa, Iñigo, Sánchez-Alonso, Fernando, López-Longo, Francisco Javier, Galindo-Izquierdo, María, Calvo-Alén, Jaime, Olivé-Marqués, Alejandro, Ibañez-Ruán, Jesús, Horcada, Loreto, Sánchez-Atrio, Ana, Montilla, Carlos, Melero González, Rafael Benito, Díez-Álvarez, Elvira, Martinez-Taboada, Victor, Andreu, José Luis, Fernández-Berrizbeitia, Olaia, Hernández-Beriain, José Ángel, Gantes, Marian, Hernández-Cruz, Blanca, Pecondón-Español, Ángela, Marras, Carlos, Bonilla, Gema, Pego-Reigosa, José M

Volltext

Intuitionistic Logic according to Dijkstra's Calculus of Equational Deduction von Bohórquez V., Jaime

Volltext

Atropellamiento de fauna silvestre von DE LA OSSA, V., JAIME, DE LA OSSA-NADJAR, ORLANDO, MEDINA-BOHÓRQUEZ, ELKIN

Volltext