Travelled to:1 × France
1 × Italy
Collaborated with:P.Arenas-Sánchez F.J.López-Fraguas
Talks about:constraint (2) function (2) logic (2) multiset (1) program (1) languag (1) symbol (1) embed (1) built (1) plus (1)
Person: Mario Rodrúguez-Arteljo
DBLP: Rodr=uacute=guez-Arteljo:Mario
Contributed to:
19991998Wrote 2 papers:
- PPDP-1999-Arenas-SanchezLR #constraints #functional #logic programming
- Functional Plus Logic Programming with Built-In and Symbolic Constraints (PAS, FJLF, MRA), pp. 152–169.
- ALP-PLILP-1998-Arenas-SanchezLR #constraints #functional #lazy evaluation #logic #multi
- Embedding Multiset Constraints into a Lazy Functional Logic Language (PAS, FJLF, MRA), pp. 429–444.