Get started
Author

Susana Nieva

Observed names: Nieva Soto, Susana, Nieva, Susana, S. Nieva, SUSANA NIEVA, Susana Nieva Soto
Observed institution: Universidad Complutense de Madrid
ORCID: 0000-0002-1993-2612
Observed ORCID: 0000-0002-1993-2612
OpenAlex ID: A5081537440
Constraint Logic Programming with Hereditary Harrop formulas
2001 · JAVIER LEACH, SUSANA NIEVA, et al. · Theory and Practice of Logic Programming · 18
A Higher-Order Logic Programming Language with Constraints
2001 · Javier Leach, Susana Nieva · Lecture notes in computer science · 9
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation
2008 · Susana Nieva, O Sáenz-pérez · 8
Providing declarative semantics for HH extended constraint logic programs
2004 · Miguel García-Díaz, Susana Nieva · International Symposium on Principles and Practice of Declarative Programming (PPDP) · 7
Formalizing a Broader Recursion Coverage in SQL
2013 · Gabriel Aranda, Susana Nieva, et al. · Lecture notes in computer science · 6
Higher-Order Logic Programming Languages with Constraints: A Semantics
2007 · James Lipton, Susana Nieva · Lecture notes in computer science · 6
Solving Constraints for an Instance of an Extended CLP Language over a Domain Based on Real Numbers and Herbrand Terms.
2003 · Miguel Garcı́a-Dı́az, Susana Nieva · Journal of functional and logic programming · 4
Reasoning with preorders and dynamic sorts using free variable tableaux
1996 · A. Gavilanes, J. Leach, et al. · Lecture notes in computer science · 4
R-SQL: An SQL Database System with Extended Recursion
2024 · Sáenz-Pérez, Fernando, Nieva, Susana, et al. · Technische Universität Berlin – Universitätsbibliothek · 3
Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems
2018 · Gabriel Aranda, Susana Nieva, et al. · EPiC series in computing · 3
PDF
Liquid Types for Array Invariant Synthesis
2017 · Manuel Montenegro, Susana Nieva, et al. · Lecture notes in computer science · 3
Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas
2009 · Gabriel Aranda-López, Susana Nieva, et al. · International Symposium on Principles and Practice of Declarative Programming (PPDP) · 3
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation
2008 · Susana Nieva, Jaime Sánchez-Hernández, et al. · Springer eBooks · 3
Towards a Constraint Deductive Database Language based on Hereditary Harrop Formulas
2006 · Susana Nieva, Jaime Sánchez-Hernández · 3
Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms
2002 · Miguel Garcı́a-Dı́az, Susana Nieva · 3
HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems
2019 · Susana Nieva, Fernando Sáenz-Pérez, et al. · Information and Computation · 2
PDF
Kripke semantics for higher-order type theory applied to constraint logic programming languages
2017 · James Lipton, Susana Nieva · Theoretical Computer Science · 2
An extended constraint deductive database: Theory and implementation
2013 · Gabriel Aranda-López, Susana Nieva, et al. · The Journal of Logic and Algebraic Programming · 2
PDF
Constraint Logic Programming with Hereditary Harrop Formula
2004 · Leach, Javier, Nieva, Susana, et al. · arXiv (Cornell University) · 2
PDF
Foundations of a theorem prover for functional and mathematical uses
1993 · Javier Leach, Susana Nieva · Journal of Applied Non-Classical Logics · 2
Extending Liquid Types to Arrays
2020 · Manuel Montenegro, Susana Nieva, et al. · ACM Transactions on Computational Logic · 1
PDF
Free variable tableaux for a many sorted logic with preorders
1996 · A. Gavilanes, J. Leach, et al. · Lecture notes in computer science · 1
Una lógica computacional con polimorfismo y recursión y un sistema de deducción automática basado en ella
1992 · Susana Nieva Soto · LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas) · 1
PDF
Implementación de una semántica de punto fijo para un sistema de bases de datos deductivas con restricciones
2009 · Gabriel Aranda López, Susana Nieva Soto, et al. · Dialnet (Universidad de la Rioja)
MIZ-PR: A theorem prover for polymorphic and recursive functions
2005 · Javier Leach, Susana Nieva · Springer eBooks
Works count: 39
Citation count: 96
H-index: 6
I10-index: 1
Year
Topic
Type