Paqui Lucio

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

Coauthor Index

1	Javier Álvez	[6] [7] [8] [9] [14] [16]
2	R. Arruabarrena	[4]
3	Joxe Gaintzarain	[12] [13]
4	Montserrat Hermo	[12] [13]
5	Maurizio Martelli	[1]
6	Marisa Navarro	[1] [4] [12] [13]
7	Fernando Orejas	[2] [3] [6] [10] [11] [12] [15]
8	Edelmira Pasarella	[10] [15]
9	Elvira Pino	[2] [3] [10] [15]