César
Domínguez Pérez
PROFESOR TITULAR DE UNIVERSIDAD
Grenoble Alpes University
Saint-Martin-d’Hères, FranciaPublicaciones en colaboración con investigadores/as de Grenoble Alpes University (3)
2010
-
Diagrammatic logic applied to a parameterisation process
Mathematical Structures in Computer Science, Vol. 20, Núm. 4, pp. 639-654
2006
-
Modeling Inheritance as coercion in the Kenzo System.
Journal of Universal Computer Science, Vol. 12, Núm. 12, pp. 1701-1730
-
Towards Diagrammatic Specifications of Symbolic Computation Systems
Dagstuhl Seminar Proceedings