I agree that this site is using cookies. You can find further informations here.
X
Rodríguez-Artalejo, Mario
484  results:
Articles (Online) X
Search for persons X
?
1

A declarative semantics for CLP with qualification and prox..:

RODRÍGUEZ-ARTALEJO, MARIO ; ROMERO-DÍAZ, CARLOS A.
Theory and Practice of Logic Programming.  10 (2010)  4-6 - p. 627-642 , 2010
Link: https://doi.org/10.1017/..
 
?
2

Qualified Logic Programming with Bivalued Predicates:

Rodríguez-Artalejo, Mario ; Romero-Díaz, Carlos A.
Electronic Notes in Theoretical Computer Science.  248 (2009)  - p. 67-82 , 2009
Link: https://doi.org/10.1016/..
 
?
3

Constraint Functional Logic Programming Revisited:

López-Fraguas, F. Javier ; Rodríguez-Artalejo, Mario ; del Vado Vírseda, Rafael
Electronic Notes in Theoretical Computer Science.  117 (2005)  - p. 5-50 , 2005
Link: https://doi.org/10.1016/..
 
?
4

A Declarative Debugging System for Lazy Functional Logic Pr..:

Caballero, Rafael ; Rodríguez-Artalejo, Mario
Electronic Notes in Theoretical Computer Science.  64 (2002)  - p. 113-175 , 2002
Link: https://doi.org/10.1016/..
 
?
5

Constraint Logic Programming with Hereditary Harrop formula:

LEACH, JAVIER ; NIEVA, SUSANA ; RODRÍGUEZ-ARTALEJO, MARIO
Theory and Practice of Logic Programming.  1 (2001)  4 - p. 409-445 , 2001
Link: https://doi.org/10.1017/..
 
?
6

Foreword:

Levi, Giorgio ; Rodriguez-Artalejo, Mario
Theoretical Computer Science.  165 (1996)  1 - p. 1-2 , 1996
Link: https://doi.org/10.1016/..
 
?
7

Logic programming with functions and predicates: The langua..:

Moreno-Navarro, Juan Jose ; Rodriguez-Artalejo, Mario
The Journal of Logic Programming.  12 (1992)  3 - p. 191-223 , 1992
Link: https://doi.org/10.1016/..
 
?
8

Hoare's logic for nondeterministic regular programs: A nons..:

Hortalá-González, M.Teresa ; Rodríguez-Artalejo, Mario
Theoretical Computer Science.  68 (1989)  3 - p. 277-302 , 1989
Link: https://doi.org/10.1016/..
 
?
9

Some questions about expressiveness and relative completene..:

Rodriguez Artalejo, Mario
Theoretical Computer Science.  39 (1985)  - p. 189-206 , 1985
Link: https://doi.org/10.1016/..
 
?
10

Dietary Vitamin C Intake and Changes in Frequency, Severity..:

Delgado-Velandia, Mario ; Ortolá, Rosario ; García-Esquinas, Esther...
The Journals of Gerontology, Series A: Biological Sciences and Medical Sciences.  79 (2024)  7 - p. , 2024
Link: https://doi.org/10.1093/..
 
?
11

Rationale of the association between Mediterranean diet and..:

Dominguez, Ligia J. ; Donat-Vargas, Carolina ; Sayon-Orea, Carmen...
Experimental Gerontology.  177 (2023)  - p. 112180 , 2023
Link: https://doi.org/10.1016/..
 
?
12

A MEDITERRANEAN LIFESTYLE AND FRAILTY INCIDENCE IN OLDER AD..:

Prieto, Mercedes Sotos ; Maroto-Rodriguez, Javier ; Delgado-Velandía, Mario..
Innovation in Aging.  7 (2023)  Supplement_1 - p. 216-216 , 2023
Link: https://doi.org/10.1093/..
 
?
13

Performance and validation of the Healthy Heart Score model..:

Sotos-Prieto, Mercedes ; Delgado-Velandia, Mario ; Fernández-Felix, Borja M....
Revista Española de Cardiología (English Edition).  76 (2023)  6 - p. 444-452 , 2023
Link: https://doi.org/10.1016/..
 
?
14

Adherence to a Healthy Beverage Score Is Associated with Lo..:

Dominguez, Ligia J. ; Donat-Vargas, Carolina ; Banegas, José R....
Nutrients.  14 (2022)  18 - p. 3861 , 2022
Link: https://doi.org/10.3390/..
 
?
15

Plant-based diets and risk of frailty in community-dwelling..:

Maroto-Rodriguez, Javier ; Delgado-Velandia, Mario ; Ortolá, Rosario...
GeroScience.  45 (2022)  1 - p. 221-232 , 2022
Link: https://doi.org/10.1007/..
 
1-15