`Travelled to:`

1 × Croatia

1 × Serbia

1 × USA

`Collaborated with:`

A.Gascón G.Godoy S.Maneth C.Creus O.Giménez C.Àlvarez

`Talks about:`

problem (2) hom (2) compress (1) complet (1) exptim (1) order (1) first (1) decid (1) unif (1) term (1)

## Person: Lander Ramos

### DBLP: Ramos:Lander

### Contributed to:

### Wrote 3 papers:

- LICS-2012-CreusGGR #problem
- The HOM Problem is EXPTIME-Complete (CC, AG, GG, LR), pp. 255–264.
- RTA-2011-GasconMR #first-order #unification
- First-Order Unification on Compressed Terms (AG, SM, LR), pp. 51–60.
- STOC-2010-GodoyGRA #decidability #problem
- The HOM problem is decidable (GG, OG, LR, CÀ), pp. 485–494.