`Travelled to:`

1 × Cyprus

1 × United Kingdom

2 × Japan

`Collaborated with:`

P.Lucio F.J.López-Fraguas F.Orejas

`Talks about:`

construct (1) algorithm (1) variabl (1) program (1) general (1) complet (1) axiomat (1) strict (1) semant (1) normal (1)

## Person: Javier Álvez

### DBLP: =Aacute=lvez:Javier

### Contributed to:

### Wrote 4 papers:

- FLOPS-2010-AlvezL #axiom #similarity #strict
- A Complete Axiomatization of Strict Equality (JÁ, FJLF), pp. 118–133.
- FLOPS-2008-AlvezL #semantics
- A Generalization of the Folding Rule for the Clark-Kunen Semantics (JÁ, PL), pp. 180–194.
- LOPSTR-2005-AlvezL #algorithm #logic programming #source code
- An Algorithm for Local Variable Elimination in Normal Logic Programs (JÁ, PL), pp. 61–79.
- SAC-2004-AlvezLO #bottom-up
- Constructive negation by bottom-up computation of literal answers (JÁ, PL, FO), pp. 1468–1475.