 | 2010 |
|---|
| 8 |       | Javier Álvez,
Francisco Javier López-Fraguas:
A Complete Axiomatization of Strict Equality.
FLOPS 2010: 118-133 |
| 2008 |
|---|
| 7 | | Javier Álvez,
Paqui Lucio:
A Generalization of the Folding Rule for the Clark-Kunen Semantics.
FLOPS 2008: 180-194 |
| 6 | | Javier Álvez,
Jordi Atserias,
Jordi Carrera,
Salvador Climent,
Egoitz Laparra,
Antoni Oliver,
German Rigau:
Complete and Consistent Annotation of WordNet using the Top Concept Ontology.
LREC 2008 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page