Susana Nieva

According to our database, Susana Nieva authored at least 22 papers between 1992 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Extending Liquid Types to Arrays.

Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura

ACM Trans. Comput. Log., 2020

HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems.

Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández

Inf. Comput., 2020

2018

Kripke semantics for higher-order type theory applied to constraint logic programming languages.

James Lipton, Susana Nieva

Theor. Comput. Sci., 2018

2017

Liquid Types for Array Invariant Synthesis.

Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura

Proceedings of the Automated Technology for Verification and Analysis, 2017

2014

An extended constraint deductive database: Theory and implementation.

Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández

J. Log. Algebraic Methods Program., 2014

2013

Formalizing a Broader Recursion Coverage in SQL.

Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández

Proceedings of the Practical Aspects of Declarative Languages, 2013

Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems.

Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández

Proceedings of the LPAR 2013, 2013

2009

Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas.

Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

2008

Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation.

Susana Nieva, Jaime Sánchez-Hernández, Fernando Sáenz-Pérez

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

2007

Higher-Order Logic Programming Languages with Constraints: A Semantics.

James Lipton, Susana Nieva

Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007

2004

Formalizing Two Fixed Point Semantics for HH(C).

Miguel García-Díaz, Susana Nieva

J. Funct. Log. Program., 2004

Providing declarative semantics for HH extended constraint logic programs.

Miguel García-Díaz, Susana Nieva

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

2003

Solving Constraints for an Instance of an Extended CLP Language over a Domain Based on Real Numbers and Herbrand Terms.

Miguel García-Díaz, Susana Nieva

J. Funct. Log. Program., 2003

2002

Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms.

Miguel García-Díaz, Susana Nieva

Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002

2001

Constraint Logic Programming with Hereditary Harrop Formula.

Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo

Theory Pract. Log. Program., 2001

A Higher-Order Logic Programming Language with Constraints.

Javier Leach, Susana Nieva

Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

2000

A Higher-Order Programming Language with Constraints.

Javier Leach, Susana Nieva

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

1997

Constraint Logic Programming with Hereditary Harrop Formulas.

Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo

Proceedings of the Logic Programming, 1997

1996

Free Variable Tableaux for a Many Sorted Logic with Preorders.

Antonio Gavilanes, Javier Leach, Susana Nieva

Proceedings of the Algebraic Methodology and Software Technology, 1996

Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux.

Antonio Gavilanes, Javier Leach, Pedro J. Martín, Susana Nieva

Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1996

1993

Foundations of a theorem prover for functional and mathematical uses.

Javier Leach, Susana Nieva

J. Appl. Non Class. Logics, 1993

1992

MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions.

Javier Leach, Susana Nieva

Proceedings of the Logic Programming and Automated Reasoning, 1992