Javier Leach
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1992–2004
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | PPDP | A logic programming approach to the verification of functional-logic programs. | Jos Miguel Cleva, Javier Leach, Francisco Javier Lpez-Fraguas |
| 2001 | FLOPS | A Higher-Order Logic Programming Language with Constraints. | Javier Leach, Susana Nieva |
| 1998 | TABLEAUX | Free Variable Tableaux for a Logic with Term Declarations. | Pedro J. Martn, Antonio Gavilanes, Javier Leach |
| 1996 | AISC | Reasoning with Preorders and Dynamic Sorts Using Free Variable Tableaux. | Antonio Gavilanes, Javier Leach, Pedro J. Martn, Susana Nieva |
| 1992 | LPAR | MIZ-PR: A Theorem Prover for Polymorphic and Recursive Functions. | Javier Leach, Susana Nieva |