Follow
SUSANA NIEVA SOTO
SUSANA NIEVA SOTO
Facultad de Informática, Universidad Complutense de Madrid
Verified email at ucm.es
Title
Cited by
Cited by
Year
Constraint logic programming with hereditary Harrop formulas
J Leach, S Nieva, M Rodríguez-Artalejo
Theory and Practice of Logic Programming 1 (4), 409-445, 2001
232001
Formalizing a broader recursion coverage in SQL
G Aranda, S Nieva, F Sáenz-Pérez, J Sánchez-Hernández
Practical Aspects of Declarative Languages: 15th International Symposium …, 2013
152013
Higher-order logic programming languages with constraints: A semantics
J Lipton, S Nieva
International Conference on Typed Lambda Calculi and Applications, 272-289, 2007
122007
Formalizing a constraint deductive database language based on hereditary Harrop formulas with negation
S Nieva, J Sánchez-Hernández, F Sáenz-Pérez
International Symposium on Functional and Logic Programming, 289-304, 2008
102008
A higher-order logic programming language with constraints
J Leach, S Nieva
International Symposium on Functional and Logic Programming, 108-122, 2001
82001
R-SQL: an SQL database system with extended recursion
F Sáenz-Pérez, S Nieva, J Sanchez-Hernandez, G Aranda
Electronic Communications of the EASST 64, 2014
72014
Providing declarative semantics for HH extended constraint logic programs
M Garcia-Diaz, S Nieva
Proceedings of the 6th ACM SIGPLAN international conference on Principles …, 2004
72004
Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas
G Aranda-López, S Nieva, F Sáenz-Pérez, J Sánchez-Hernández
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009
62009
Towards a constraint deductive database language based on hereditary harrop formulas
S Nieva, F Sáenz-Pérez, J Sánchez
Sextas Jornadas de Programación y Lenguajes, PROLE, 171-182, 2006
52006
Reasoning with preorders and dynamic sorts using free variable tableaux
A Gavilanes, J Leach, PJ Martín, S Nieva
Artificial Intelligence and Symbolic Mathematical Computation: International …, 1996
51996
Kripke semantics for higher-order type theory applied to constraint logic programming languages
J Lipton, S Nieva
Theoretical Computer Science 712, 1-37, 2018
42018
Liquid types for array invariant synthesis
M Montenegro, S Nieva, R Peña, C Segura
Automated Technology for Verification and Analysis: 15th International …, 2017
42017
An extended constraint deductive database: Theory and implementation
G Aranda-López, S Nieva, F Saenz-Perez, J Sanchez-Hernandez
The Journal of Logic and Algebraic Programming 83 (1), 20-52, 2014
42014
Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems.
G Aranda-López, S Nieva, F Saenz-Perez, J Sánchez-Hernández
LPAR (short papers), 9-22, 2013
42013
Solving constraints for an instance of an extended CLP language over a domain based on real numbers and herbrand terms
M Garcıa-Dıaz, S Nieva
Journal of Functional and Logic Programming 2, 2003
42003
Extending Liquid Types to Arrays
M Montenegro, S Nieva, R Peña, C Segura
ACM Transactions on Computational Logic (TOCL) 21 (2), 1-41, 2020
32020
Solving Mixed Quantified Constraints over a Domain Based on eal Numbers and erbrand Terms
M García-Díaz, S Nieva
International Symposium on Functional and Logic Programming, 103-118, 2002
32002
HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems
S Nieva, F Sáenz-Pérez, J Sánchez-Hernández
Information and Computation 271, 104485, 2020
22020
Áreas de actividad
B Principal
22009
Foundations of a theorem prover for functional and mathematical uses
J Leach, S Nieva
Journal of Applied Non-Classical Logics 3 (1), 7-38, 1993
21993
The system can't perform the operation now. Try again later.
Articles 1–20