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:
2013
2009
2008
200720022001
1997Wrote 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.