NIEVA, SUSANA
18  results:
Search for persons X
?
1

Extending Liquid Types to Arrays:

Montenegro, Manuel ; Nieva, Susana ; Peña, Ricardo.
ACM Transactions on Computational Logic (TOCL).  21 (2020)  2 - p. 1-41 , 2020
 
?
3

Extending Liquid Types to Arrays:

Montenegro, Manuel ; Nieva, Susana ; Peña, Ricardo.
ACM Transactions on Computational Logic.  21 (2020)  2 - p. 1-41 , 2020
 
?
 
?
5

An extended constraint deductive database: Theory and imple..:

Aranda-López, Gabriel ; Nieva, Susana ; Sáenz-Pérez, Fernando.
The Journal of Logic and Algebraic Programming.  83 (2014)  1 - p. 20-52 , 2014
 
?
6

Constraint Logic Programming with Hereditary Harrop formula:

LEACH, JAVIER ; NIEVA, SUSANA ; RODRÍGUEZ-ARTALEJO, MARIO
Theory and Practice of Logic Programming.  1 (2001)  4 - p. 409-445 , 2001
 
1-15