- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| c10 |      | 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: 117-128 |
| 2008 | ||
| c9 | | 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: 289-304 |
| 2007 | ||
| c8 | | James Lipton, Susana Nieva: Higher-Order Logic Programming Languages with Constraints: A Semantics. TLCA 2007: 272-289 |
| 2004 | ||
| j4 | | Miguel García-Díaz, Susana Nieva: Formalizing Two Fixed Point Semantics for HH(C). Journal of Functional and Logic Programming 2004 (2004) |
| i1 | | Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo: Constraint Logic Programming with Hereditary Harrop Formula. CoRR cs.PL/0404053 (2004) |
| 2003 | ||
| j3 | | 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. Journal of Functional and Logic Programming 2003 (2003) |
| 2002 | ||
| c7 | | Miguel García-Díaz, Susana Nieva: Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms. FLOPS 2002: 103-118 |
| 2001 | ||
| j2 | | Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo: Constraint Logic Programming with Hereditary Harrop Formula. TPLP 1(4): 409-445 (2001) |
| c6 | | Javier Leach, Susana Nieva: A Higher-Order Logic Programming Language with Constraints. FLOPS 2001: 108-122 |
| 2000 | ||
| c5 |  | Javier Leach, Susana Nieva: A Higher-Order Programming Language with Constraints. WFLP 2000: 440-454 |
| 1997 | ||
| c4 | | Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo: Constraint Logic Programming with Hereditary Harrop Formulas. ILPS 1997: 307-321 |
| 1996 | ||
| c3 | | Antonio Gavilanes, Javier Leach, Pedro J. Martín, Susana Nieva: Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux. AISMC 1996: 365-379 |
| c2 | | Antonio Gavilanes, Javier Leach, Susana Nieva: Free Variable Tableaux for a Many Sorted Logic with Preorders. AMAST 1996: 102-116 |
| 1993 | ||
| j1 | | Javier Leach, Susana Nieva: Foundations of a theorem prover for functional and mathematical uses. Journal of Applied Non-Classical Logics 3(1): 7-38 (1993) |
| 1992 | ||
| c1 | | Javier Leach, Susana Nieva: MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions. LPAR 1992: 481-483 |
Data released under the ODC-BY 1.0 license — See also our legal information page