Susana Nieva

Publication Activity (10 Years)

Years Active: 1992-2020
Publications (10 Years): 4

Top Topics

Logic Programming Language

Relational Database Management Systems

Top Venues

J. Log. Algebraic Methods Program.

ACM Trans. Comput. Log.

LPAR (short papers)

Publications

Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems. Inf. Comput. 271 (2020)
Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura
Extending Liquid Types to Arrays. ACM Trans. Comput. Log. 21 (2) (2020)
James Lipton, Susana Nieva
Kripke semantics for higher-order type theory applied to constraint logic programming languages. Theor. Comput. Sci. 712 (2018)
Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura
Liquid Types for Array Invariant Synthesis. ATVA (2017)
Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
An extended constraint deductive database: Theory and implementation. J. Log. Algebraic Methods Program. 83 (1) (2014)
Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
Formalizing a Broader Recursion Coverage in SQL. PADL (2013)
Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems. LPAR (short papers) (2013)
Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández
Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas. PPDP (2009)
Susana Nieva, Jaime Sánchez-Hernández, Fernando Sáenz-Pérez
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation. FLOPS (2008)
James Lipton, Susana Nieva
Higher-Order Logic Programming Languages with Constraints: A Semantics. TLCA (2007)
Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
Constraint Logic Programming with Hereditary Harrop Formula CoRR (2004)
Miguel García-Díaz, Susana Nieva
Formalizing Two Fixed Point Semantics for HH(C). J. Funct. Log. Program. 2004 (2004)
Miguel García-Díaz, Susana Nieva
Providing declarative semantics for HH extended constraint logic programs. PPDP (2004)
Miguel García-Díaz, Susana Nieva
Solving Constraints for an Instance of an Extended CLP Language over a Domain Based on Real Numbers and Herbrand Terms. J. Funct. Log. Program. 2003 (2003)
Miguel García-Díaz, Susana Nieva
Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms. FLOPS (2002)
Javier Leach, Susana Nieva
A Higher-Order Logic Programming Language with Constraints. FLOPS (2001)
Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
Constraint Logic Programming with Hereditary Harrop Formula. Theory Pract. Log. Program. 1 (4) (2001)
Javier Leach, Susana Nieva
A Higher-Order Programming Language with Constraints. WFLP (2000)
Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
Constraint Logic Programming with Hereditary Harrop Formulas. ILPS (1997)
Antonio Gavilanes, Javier Leach, Pedro J. Martín, Susana Nieva
Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux. AISMC (1996)
Antonio Gavilanes, Javier Leach, Susana Nieva
Free Variable Tableaux for a Many Sorted Logic with Preorders. AMAST (1996)
Javier Leach, Susana Nieva
Foundations of a theorem prover for functional and mathematical uses. J. Appl. Non Class. Logics 3 (1) (1993)
Javier Leach, Susana Nieva
MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions. LPAR (1992)