The SCEAS System
| |||||||

## Search the dblp DataBase
Susana Nieva:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Antonio Gavilanes, Javier Leach, Pedro J. Martín, Susana Nieva
**Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux.**[Citation Graph (0, 0)][DBLP] AISMC, 1996, pp:365-379 [Conf] - Antonio Gavilanes, Javier Leach, Susana Nieva
**Free Variable Tableaux for a Many Sorted Logic with Preorders.**[Citation Graph (0, 0)][DBLP] AMAST, 1996, pp:102-116 [Conf] - Miguel García-Díaz, Susana Nieva
**Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms.**[Citation Graph (0, 0)][DBLP] FLOPS, 2002, pp:103-118 [Conf] - Javier Leach, Susana Nieva
**A Higher-Order Logic Programming Language with Constraints.**[Citation Graph (0, 0)][DBLP] FLOPS, 2001, pp:108-122 [Conf] - Javier Leach, Susana Nieva
**MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions.**[Citation Graph (0, 0)][DBLP] LPAR, 1992, pp:481-483 [Conf] - Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
**Constraint Logic Programming with Hereditary Harrop Formulas.**[Citation Graph (0, 0)][DBLP] ILPS, 1997, pp:307-321 [Conf] - Javier Leach, Susana Nieva
**A Higher-Order Programming Language with Constraints.**[Citation Graph (0, 0)][DBLP] WFLP, 2000, pp:440-454 [Conf] - Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
**Constraint Logic Programming with Hereditary Harrop Formula**[Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal] - Javier Leach, Susana Nieva
**Foundations of a theorem prover for functional and mathematical uses.**[Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 1993, v:3, n:1, pp:- [Journal] - 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.**[Citation Graph (0, 0)][DBLP] Journal of Functional and Logic Programming, 2003, v:2003, n:, pp:- [Journal] - Javier Leach, Susana Nieva, Mario Rodríguez-Artalejo
**Constraint Logic Programming with Hereditary Harrop Formula.**[Citation Graph (0, 0)][DBLP] TPLP, 2001, v:1, n:4, pp:409-445 [Journal] - James Lipton, Susana Nieva
**Higher-Order Logic Programming Languages with Constraints: A Semantics.**[Citation Graph (0, 0)][DBLP] TLCA, 2007, pp:272-289 [Conf] **Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation.**[Citation Graph (, )][DBLP]**Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas.**[Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |