×

zbMATH — the first resource for mathematics

Nieva, Susana

Compute Distance To:
Author ID: nieva.susana Recent zbMATH articles by "Nieva, Susana"
Published as: Nieva, S.; Nieva, Susana
External Links: ORCID
Documents Indexed: 14 Publications since 1993

Publications by Year

Citations contained in zbMATH

7 Publications have been cited 12 times in 6 Documents Cited by Year
Constraint logic programming with hereditary Harrop formulas. Zbl 1091.68522
Leach, Javier; Nieva, Susana; Rodríguez-Artalejo, Mario
4
2001
Formalizing a constraint deductive database language based on hereditary Harrop formulas with negation. Zbl 1137.68339
Nieva, Susana; Sánchez-Hernández, Jaime; Sáenz-Pérez, Fernando
2
2008
Higher-order logic programming languages with constraints: a semantics. Zbl 1215.68058
Lipton, James; Nieva, Susana
2
2007
Solving constraints for an instance of an extended clp language over a domain based on real numbers and Herbrand terms. Zbl 1034.68017
García-Díaz, Miguel; Nieva, Susana
1
2003
A higher-order logic programming language with constraints. Zbl 0977.68012
Leach, Javier; Nieva, Susana
1
2001
Constraint logic programming with hereditary Harrop formulas. Zbl 0944.68021
Leach, Javier; Nieva, Susana; Rodríguez-Artalejo, Mario
1
1997
Free variable tableaux for a many sorted logic with preorders. Zbl 0886.03007
Gavilanes, A.; Leach, J.; Nieva, S.
1
1996
Formalizing a constraint deductive database language based on hereditary Harrop formulas with negation. Zbl 1137.68339
Nieva, Susana; Sánchez-Hernández, Jaime; Sáenz-Pérez, Fernando
2
2008
Higher-order logic programming languages with constraints: a semantics. Zbl 1215.68058
Lipton, James; Nieva, Susana
2
2007
Solving constraints for an instance of an extended clp language over a domain based on real numbers and Herbrand terms. Zbl 1034.68017
García-Díaz, Miguel; Nieva, Susana
1
2003
Constraint logic programming with hereditary Harrop formulas. Zbl 1091.68522
Leach, Javier; Nieva, Susana; Rodríguez-Artalejo, Mario
4
2001
A higher-order logic programming language with constraints. Zbl 0977.68012
Leach, Javier; Nieva, Susana
1
2001
Constraint logic programming with hereditary Harrop formulas. Zbl 0944.68021
Leach, Javier; Nieva, Susana; Rodríguez-Artalejo, Mario
1
1997
Free variable tableaux for a many sorted logic with preorders. Zbl 0886.03007
Gavilanes, A.; Leach, J.; Nieva, S.
1
1996

Citations by Year