Javier Álvez   -  Papers

A Generalization of the Folding Rule for the Clark-Kunen Semantics
J. Álvez and P. Lucio
In Hagiya, Masami; Wadler, Philip (Eds.): Proceedings of 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008.
Also in J. Garrigue and M. Hermenegildo (Eds.): FLOPS 2008, LNCS 4989, pp. 180–194, 2008.
Extended Version as Technical Report UPV-EHU/LSI/TR 01-2008.pdf

A New Proposal of Quasi-Solved Form for Equality Constraint Solving

J. Álvez and P. Lucio

In VII Jornadas sobre Programación y Lenguajes, PROLE’2007, Zaragoza, Spain, September, 2007,

Revised Selected Paper in ENTCS 206, pp. 23-40, 2008

Equational Constraint Solving Via a Restricted Form of Universal Quantification

J. Alvez and P. Lucio

In J. Dix and S. J. Hegner (Eds.):  Foundations of Information and Knowledge Systems (FoIKS 2006), LNCS 3861, pp. 2–21, Springer-Verlag Berlin Heidelberg 2006.

An Algorithm  for Local Variable Elimination in Normal Logic Programs

J. Alvez and P. Lucio

15th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR 2005), London, UK, September 7-9, 2005

Revised Selected Paper

In Patricia M. Hill (ed.): Logic Based Program Synthesis and Transformation: 15th International Symposium LOPSTR 2005,  Revised Selected Papers, LNCS 3901, pp. 61 - 79, 2006

Elimination of Local Variables from Definite Logic Programs

J. Alvez and P. Lucio

IV Jornadas sobre Programación y Lenguajes PROLE 2004, Málaga, Spain 10-12 Noviembre 2004

Revised Selected Paper

In S. Lucas (ed.):  Proceedings of the Fourth Spanish Conference on Programming and Computer Languages PROLE 2004, ENTCS 137 (1), pp 5-24, (20 July 2005).

Equational Constraint Solving using  Quasi-solved Forms

J. Alvez and P. Lucio

In M. Kohlhase (chair): 8th International workshop on Unification (UNIF'04) at IJCAR 2004, Cork, Ireland, July 5, 2004.

Logic Program Transformation for Auxiliary Variable Elimination
J. Alvez
In Student Session at the 16th European Summer School in Logic, Language and Information (ESSLLI 2004), Nancy (Francia), Agosto de 2004.

Constructive Negation by Bottom-up Computation of Literal Answers

J. Alvez, P. Lucio, F. Orejas, E. Pasarella and E. Pino

In Proceedings of the 2004 ACM Symposium on Applied Computing, Nicosia (Cyprus), Vol. 2:1468-1475, ACM 2004.

An Implementation of Constructive Negation

J. Alvez, P. Lucio, F. Orejas, E. Pasarella and E. Pino

In R. Peña, A. Herranz, J.J. Moreno (eds.): Segundas Jornadas sobre Programación y Lenguajes Prole 2002, Noviembre 2002, pp 55-104.