Edit Profile Nieva, Susana Compute Distance To: Compute Author ID: nieva.susana Published as: Nieva, S.; Nieva, Susana External Links: ORCID Documents Indexed: 14 Publications since 1993 all top 5 Co-Authors 0 single-authored 5 Leach, Javier 3 García-Díaz, Miguel 3 Sáenz-Pérez, Fernando 3 Sánchez-Hernández, Jaime 2 Lipton, James B. 2 Rodríguez-Artalejo, Mario 1 Aranda-López, Gabriel 1 Gavilanes, Antonio 1 Montenegro, Manuel 1 Peña, Ricardo 1 Segura, Clara all top 5 Serials 2 The Journal of Functional and Logic Programming 1 Theoretical Computer Science 1 Information and Computation 1 Journal of Applied Non-Classical Logics 1 The Journal of Logic and Algebraic Programming 1 Theory and Practice of Logic Programming 1 ACM Transactions on Computational Logic Fields 13 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications 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.68522Leach, Javier; Nieva, Susana; Rodríguez-Artalejo, Mario 4 2001 Formalizing a constraint deductive database language based on hereditary Harrop formulas with negation. Zbl 1137.68339Nieva, Susana; Sánchez-Hernández, Jaime; Sáenz-Pérez, Fernando 2 2008 Higher-order logic programming languages with constraints: a semantics. Zbl 1215.68058Lipton, 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.68017García-Díaz, Miguel; Nieva, Susana 1 2003 A higher-order logic programming language with constraints. Zbl 0977.68012Leach, Javier; Nieva, Susana 1 2001 Constraint logic programming with hereditary Harrop formulas. Zbl 0944.68021Leach, Javier; Nieva, Susana; Rodríguez-Artalejo, Mario 1 1997 Free variable tableaux for a many sorted logic with preorders. Zbl 0886.03007Gavilanes, A.; Leach, J.; Nieva, S. 1 1996 Formalizing a constraint deductive database language based on hereditary Harrop formulas with negation. Zbl 1137.68339Nieva, Susana; Sánchez-Hernández, Jaime; Sáenz-Pérez, Fernando 2 2008 Higher-order logic programming languages with constraints: a semantics. Zbl 1215.68058Lipton, 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.68017García-Díaz, Miguel; Nieva, Susana 1 2003 Constraint logic programming with hereditary Harrop formulas. Zbl 1091.68522Leach, Javier; Nieva, Susana; Rodríguez-Artalejo, Mario 4 2001 A higher-order logic programming language with constraints. Zbl 0977.68012Leach, Javier; Nieva, Susana 1 2001 Constraint logic programming with hereditary Harrop formulas. Zbl 0944.68021Leach, Javier; Nieva, Susana; Rodríguez-Artalejo, Mario 1 1997 Free variable tableaux for a many sorted logic with preorders. Zbl 0886.03007Gavilanes, A.; Leach, J.; Nieva, S. 1 1996 all cited Publications top 5 cited Publications all top 5 Cited by 17 Authors 2 Lipton, James B. 2 Nieva, Susana 1 Amato, Gianluca 1 Aranda-López, Gabriel 1 Bogaerts, Bart 1 Cheney, James 1 Dasseville, Ingmar 1 Denecker, Marc 1 Gavilanes, Antonio 1 Janssens, Gerda 1 Leach, Javier 1 Martín, Pedro Jesús 1 McGrail, Robert W. 1 Momigliano, Alberto 1 Sáenz-Pérez, Fernando 1 Sánchez-Hernández, Jaime 1 van der Hallen, Matthias Cited in 4 Serials 2 Theoretical Computer Science 1 Journal of Symbolic Computation 1 The Journal of Logic and Algebraic Programming 1 Theory and Practice of Logic Programming Cited in 2 Fields 6 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) Citations by Year