Javier Álvez

	2008
6		Javier Álvez, Paqui Lucio: A Generalization of the Folding Rule for the Clark-Kunen Semantics. FLOPS 2008: 180-194
5		Javier Álvez, Paqui Lucio: A New Proposal Of Quasi-Solved Form For Equality Constraint Solving. Electr. Notes Theor. Comput. Sci. 206: 23-40 (2008)
	2006
4		Javier Álvez, Paqui Lucio: Equational Constraint Solving Via a Restricted Form of Universal Quantification. FoIKS 2006: 2-21
	2005
3		Javier Álvez, Paqui Lucio: An Algorithm for Local Variable Elimination in Normal Logic Programs. LOPSTR 2005: 61-79
2		Javier Álvez, Paqui Lucio: Elimination of Local Variables from Definite Logic Programs. Electr. Notes Theor. Comput. Sci. 137(1): 5-24 (2005)
	2004
1		Javier Álvez, Paqui Lucio, Fernando Orejas: Constructive negation by bottom-up computation of literal answers. SAC 2004: 1468-1475

Coauthor Index

1	Paqui Lucio	[1] [2] [3] [4] [5] [6]
2	Fernando Orejas	[1]