Affiliation: | 1.Tree-Lab, Posgrado en Ciencias de la Ingeniería, Departamento de Ingeniería Eléctrica y Electrónica,Instituto Tecnológico de Tijuana, Tijuana,Mexico;2.CQFD Team, INRIA Bordeaux, IMB,Université of Bordeaux,Talence,France;3.School of Computer Science and Statistics,Trinity College Dublin,Dublin,Ireland |