Travelled to:
1 × USA
Collaborated with:
G.Godoy L.Ramos C.Àlvarez
Talks about:
problem (1) decid (1) hom (1)
Person: Omer Giménez
DBLP: Gim=eacute=nez:Omer
Contributed to:
Wrote 1 papers:
- STOC-2010-GodoyGRA #decidability #problem
- The HOM problem is decidable (GG, OG, LR, CÀ), pp. 485–494.