`Travelled to:`

1 × France

1 × Italy

1 × Portugal

3 × Japan

`Collaborated with:`

F.Sáenz-Pérez J.Sánchez-Hernández J.Leach G.Aranda-López J.Lipton M.García-Díaz M.Rodríguez-Artalejo

`Talks about:`

constraint (6) hereditari (3) program (3) languag (3) formula (3) harrop (3) logic (3) base (3) databas (2) semant (2)

## Person: Susana Nieva

### DBLP: Nieva:Susana

### Contributed to:

### Wrote 7 papers:

- PADL-2013-Aranda-LopezNSS #formal method #recursion #sql
- Formalizing a Broader Recursion Coverage in SQL (GAL, SN, FSP, JSH), pp. 93–108.
- PPDP-2009-Aranda-LopezNSS #constraints #database #deduction #fixpoint #implementation #semantics
- Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas (GAL, SN, FSP, JSH), pp. 117–128.
- FLOPS-2008-NievaSS #constraints #database #deduction #formal method
- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation (SN, JSH, FSP), pp. 289–304.
- TLCA-2007-LiptonN #constraints #higher-order #logic programming #programming language #semantics
- Higher-Order Logic Programming Languages with Constraints: A Semantics (JL, SN), pp. 272–289.
- FLOPS-2002-Garcia-DiazN #constraints #quantifier
- Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms (MGD, SN), pp. 103–118.
- FLOPS-2001-LeachN #constraints #higher-order #logic programming #programming language
- A Higher-Order Logic Programming Language with Constraints (JL, SN), pp. 108–122.
- ILPS-1997-LeachNR #constraints #logic programming
- Constraint Logic Programming with Hereditary Harrop Formulas (JL, SN, MRA), pp. 307–321.