The SCEAS System
| |||||||

## Search the dblp DataBase
Paqui Lucio:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - 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] - 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] - Paqui Lucio
**Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic.**[Citation Graph (0, 0)][DBLP] FroCos, 2000, pp:88-104 [Conf] - 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] - 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] - 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] - 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] - 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] - Paqui Lucio, Fernando Orejas
**Preface.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:188, n:, pp:1-2 [Journal] **A Generalization of the Folding Rule for the Clark-Kunen Semantics.**[Citation Graph (, )][DBLP]**A Functorial Framework for Constraint Normal Logic Programming.**[Citation Graph (, )][DBLP]**Systematic Semantic Tableaux for PLTL.**[Citation Graph (, )][DBLP]**A New Proposal Of Quasi-Solved Form For Equality Constraint Solving.**[Citation Graph (, )][DBLP]**Preface.**[Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

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