Publicaciones en las que colabora con Dominique Duval (2)

2006

  1. Towards Diagrammatic Specifications of Symbolic Computation Systems

    Dagstuhl Seminar Proceedings

2005

  1. Towards Diagrammatic Specifications of Symbolic Computation Systems.

    Dagstuhl Seminar Proceedings