Paqui Lucio

	2010
19		Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro: Translating propositional extended conjunctions of Horn clauses into Boolean circuits. Theor. Comput. Sci. 411(16-18): 1723-1733 (2010)
	2009
18		Paqui Lucio, Ginés Moreno, Ricardo Peña: Preface. Electr. Notes Theor. Comput. Sci. 258(1): 1-2 (2009)
17		Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas: Dual Systems of Tableaux and Sequents for PLTL. J. Log. Algebr. Program. 78(8): 701-722 (2009)
	2008
16		Javier Álvez, Paqui Lucio: A Generalization of the Folding Rule for the Clark-Kunen Semantics. FLOPS 2008: 180-194
15		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		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		Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro: Systematic Semantic Tableaux for PLTL. Electr. Notes Theor. Comput. Sci. 206: 59-73 (2008)
	2007
12		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		Paqui Lucio, Fernando Orejas: Preface. Electr. Notes Theor. Comput. Sci. 188: 1-2 (2007)
	2006
10		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		Javier Álvez, Paqui Lucio: Equational Constraint Solving Via a Restricted Form of Universal Quantification. FoIKS 2006: 2-21
	2005
8		Javier Álvez, Paqui Lucio: An Algorithm for Local Variable Elimination in Normal Logic Programs. LOPSTR 2005: 61-79
7		Javier Álvez, Paqui Lucio: Elimination of Local Variables from Definite Logic Programs. Electr. Notes Theor. Comput. Sci. 137(1): 5-24 (2005)
	2004
6		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] [17] [19]
4	Montserrat Hermo (Montserrat Hermo Huguet)	[12] [13] [17] [19]
5	Maurizio Martelli	[1]
6	Ginés Moreno	[18]
7	Marisa Navarro	[1] [4] [12] [13] [17] [19]
8	Fernando Orejas	[2] [3] [6] [10] [11] [12] [15] [17]
9	Edelmira Pasarella	[10] [15]
10	Ricardo Peña-Marí (Ricardo Peña, Ricardo Pena)	[18]
11	Elvira Pino	[2] [3] [10] [15]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page