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

Duration: from 01 April 2015 to 31 March 2016

Researchers