Search the dblp DataBase

Publications of Author

1. Paqui Lucio, Fernando Orejas, Elvira Pino
   A Monotonic Declarative Semantics for Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
   APPIA-GULP-PRODE, 1997, pp:271-282 [Conf]
   
2. Paqui Lucio, Fernando Orejas, Edelmira Pasarella, Elvira Pino
   A Functorial Framework for Constraint Normal Logic Programming. [Citation Graph (0, 0)][DBLP]
   Essays Dedicated to Joseph A. Goguen, 2006, pp:555-577 [Conf]
   
3. Javier Álvez, Paqui Lucio
   Equational Constraint Solving Via a Restricted Form of Universal Quantification. [Citation Graph (0, 0)][DBLP]
   FoIKS, 2006, pp:2-21 [Conf]
   
4. R. Arruabarrena, Paqui Lucio, Marisa Navarro
   A Strong Logic Programming View for Static Embedded Implications. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 1999, pp:56-72 [Conf]
   
5. Paqui Lucio
   Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic. [Citation Graph (0, 0)][DBLP]
   FroCos, 2000, pp:88-104 [Conf]
   
6. Javier Álvez, Paqui Lucio
   An Algorithm for Local Variable Elimination in Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
   LOPSTR, 2005, pp:61-79 [Conf]
   
7. Javier Álvez, Paqui Lucio, Fernando Orejas
   Constructive negation by bottom-up computation of literal answers. [Citation Graph (0, 0)][DBLP]
   SAC, 2004, pp:1468-1475 [Conf]
   
8. Javier Álvez, Paqui Lucio
   Elimination of Local Variables from Definite Logic Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:137, n:1, pp:5-24 [Journal]
   
9. Paqui Lucio, Fernando Orejas, Elvira Pino
   An Algebraic Framework for the Definition of Compositional Semantics of Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1999, v:40, n:1, pp:89-124 [Journal]
   
10. Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas
    A Cut-Free and Invariant-Free Sequent Calculus for PLTL. [Citation Graph (0, 0)][DBLP]
    CSL, 2007, pp:481-495 [Conf]
    
11. Paqui Lucio, Fernando Orejas
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:188, n:, pp:1-2 [Journal]
    
12. 
    A Generalization of the Folding Rule for the Clark-Kunen Semantics. [Citation Graph (, )][DBLP]
    
    
13. 
    A Functorial Framework for Constraint Normal Logic Programming. [Citation Graph (, )][DBLP]
    
    
14. 
    Systematic Semantic Tableaux for PLTL. [Citation Graph (, )][DBLP]
    
    
15. 
    A New Proposal Of Quasi-Solved Form For Equality Constraint Solving. [Citation Graph (, )][DBLP]
    
    
16. 
    Preface. [Citation Graph (, )][DBLP]