Departamento de Ciência da Computação Instituto de Matemática, sala 272 Universidade Federal da Bahia