Travelled to:
1 × The Netherlands
Collaborated with:
P.Lucio M.Navarro
Talks about:
program (1) strong (1) static (1) implic (1) logic (1) embed (1) view (1)
Person: R. Arruabarrena
DBLP: Arruabarrena:R=
Contributed to:
Wrote 1 papers:
- FoSSaCS-1999-ArruabarrenaLN #embedded #logic programming
- A Strong Logic Programming View for Static Embedded Implications (RA, PL, MN), pp. 56–72.