Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
Dominique
Duval
Publicacions en què col·labora amb Dominique Duval (2)
2006
-
Towards Diagrammatic Specifications of Symbolic Computation Systems
Dagstuhl Seminar Proceedings
2005
-
Towards Diagrammatic Specifications of Symbolic Computation Systems.
Dagstuhl Seminar Proceedings