Instituto de Computação   Departamento de Teoria da Computação   Produções Resumos Publicados      Resumos publicados em anais de congressos (internacional)    Resumos publicados em anais de congressos (nacional)