Bases de gÁ¶bner: desarrollo formal en coq
Tesis doctoral de Gilberto Pérez Vega En primer lugar, se aborda, de forma ajustada a lo que se va a […]
Tesis doctoral de felipe Gago couso
Información academica felipe Gago couso. Tesis donde felipe Gago couso ha sido autor, director o parte del tribunal.
Funciones de orden superior en programación funcional. una perspectiva categórica
Tesis doctoral de Freire Brañas José Enrique Identificación de las estructuras subyacentes a las categorías de eilenberg-moore y de kleisli
Grupos categoricos simetricos: cohomología y extensiones.
Tesis doctoral de Juan Martinez Moreno En la presente memoria hacemos uso de la cohomología de takeuchi-ulbrich de complejos de
Estabilidad transversal de germenes representables infinitesimalmente.
Tesis doctoral de San Luis Fernandez Ana M. Esta memoria se situa en el contexto de la geometria diferencial sintetica.
Construcciones en topos que extienden relaciones entre categorias de espacios topologicos y bornologicos.
Tesis doctoral de Lamban Pardo Laureano A. Datos académicos de la tesis doctoral «Construcciones en topos que extienden relaciones