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