Следене
SUSANA NIEVA SOTO
SUSANA NIEVA SOTO
Facultad de Informática, Universidad Complutense de Madrid
Потвърден имейл адрес: ucm.es
Заглавие
Позовавания
Позовавания
Година
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
G Aranda López, S Nieva Soto, F Sáenz Pérez, J Sánchez Hernández
72013
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
Liquid types for array invariant synthesis
M Montenegro, S Nieva, R Peña, C Segura
Automated Technology for Verification and Analysis: 15th International …, 2017
52017
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
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
42020
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
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
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
32014
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
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
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
12020
De cualificaciones y certificados. Odisea de una profesión en busca de legitimidad social, económica y jurídica
S Soto, C Mediavilla, J Gutiérrez
Carpeta Informativa del Ceneam Mayo de, 2009
12009
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20