Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
Dominique
Duval
Publicaciones en las que colabora con 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