`Travelled to:`

1 × Cyprus

1 × Japan

1 × Switzerland

1 × The Netherlands

1 × United Kingdom

`Collaborated with:`

J.Álvez M.Navarro F.Orejas R.Arruabarrena J.Gaintzarain M.Hermo

`Talks about:`

program (2) logic (2) free (2) construct (1) algorithm (1) calculus (1) variabl (1) sequent (1) general (1) strong (1)

## Person: Paqui Lucio

### DBLP: Lucio:Paqui

### Contributed to:

### Wrote 5 papers:

- FLOPS-2008-AlvezL #semantics
- A Generalization of the Folding Rule for the Clark-Kunen Semantics (JÁ, PL), pp. 180–194.
- CSL-2007-GaintzarainHLNO #calculus #invariant
- A Cut-Free and Invariant-Free Sequent Calculus for PLTL (JG, MH, PL, MN, FO), pp. 481–495.
- 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.
- FoSSaCS-1999-ArruabarrenaLN #embedded #logic programming
- A Strong Logic Programming View for Static Embedded Implications (RA, PL, MN), pp. 56–72.