| 2008 |
|---|
| 13 | EE | 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 |
|---|
| 12 | EE | James Lipton,
Susana Nieva:
Higher-Order Logic Programming Languages with Constraints: A Semantics.
TLCA 2007: 272-289 |
| 2004 |
|---|
| 11 | EE | Javier Leach,
Susana Nieva,
Mario Rodríguez-Artalejo:
Constraint Logic Programming with Hereditary Harrop Formula
CoRR cs.PL/0404053: (2004) |
| 2003 |
|---|
| 10 | EE | 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 |
|---|
| 9 | EE | 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 |
|---|
| 8 | EE | Javier Leach,
Susana Nieva:
A Higher-Order Logic Programming Language with Constraints.
FLOPS 2001: 108-122 |
| 7 | | Javier Leach,
Susana Nieva,
Mario Rodríguez-Artalejo:
Constraint Logic Programming with Hereditary Harrop Formula.
TPLP 1(4): 409-445 (2001) |
| 2000 |
|---|
| 6 | | Javier Leach,
Susana Nieva:
A Higher-Order Programming Language with Constraints.
WFLP 2000: 440-454 |
| 1997 |
|---|
| 5 | | Javier Leach,
Susana Nieva,
Mario Rodríguez-Artalejo:
Constraint Logic Programming with Hereditary Harrop Formulas.
ILPS 1997: 307-321 |
| 1996 |
|---|
| 4 | | Antonio Gavilanes,
Javier Leach,
Pedro J. Martín,
Susana Nieva:
Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux.
AISMC 1996: 365-379 |
| 3 | | Antonio Gavilanes,
Javier Leach,
Susana Nieva:
Free Variable Tableaux for a Many Sorted Logic with Preorders.
AMAST 1996: 102-116 |
| 1993 |
|---|
| 2 | | Javier Leach,
Susana Nieva:
Foundations of a theorem prover for functional and mathematical uses.
Journal of Applied Non-Classical Logics 3(1): (1993) |
| 1992 |
|---|
| 1 | | Javier Leach,
Susana Nieva:
MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions.
LPAR 1992: 481-483 |
