Rafael del Vado Vírseda

◀ ▶ joint publications with Maria Teresa Hortalá-González

> Home > Persons > Rafael del Vado Vírseda

Publications

2009
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/MartinHRVSF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/MartinHRVSF09
Sonia Estévez Martín, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda, Fernando Sáenz-Pérez, Antonio J. Fernández:
On the cooperation of the constraint domains , R, and F in CFLP. Theory Pract. Log. Program. 9(4): 415-527 (2009)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0904-2136
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0904-2136
Sonia Estévez Martín, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda, Fernando Sáenz-Pérez, Antonio J. Fernández:
On the Cooperation of the Constraint Domains H, R and FD in CFLP. CoRR abs/0904.2136 (2009)
2008
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/MartinFHRSV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/MartinFHRSV08
Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda:
Cooperation of constraint domains in the TOY system. PPDP 2008: 258-268
2007
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/FernandezHSV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/FernandezHSV07
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez, Rafael del Vado Vírseda:
Constraint functional logic programming over finite domains. Theory Pract. Log. Program. 7(5): 537-582 (2007)
2006
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MartinFHRSV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MartinFHRSV07
Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda:
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming. PROLE 2006: 37-51
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MartinFHRV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MartinFHRV07
Sonia Estévez Martín, Antonio J. Fernández, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda:
A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme. WFLP 2006: 235-252
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0601071
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0601071
Antonio J. Fernández, Maria Teresa Hortalá-González, Fernando Sáenz-Pérez, Rafael del Vado Vírseda:
Constraint Functional Logic Programming over Finite Domains. CoRR abs/cs/0601071 (2006)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.