Formalización de topología algebraica en lógica de orden superior. Representación y ejecución de algoritmos, estructuras y operaciones.

Duration of the 01 of April of 2015 to 31 of March of 2016

Researchers