Towards Diagrammatic Specifications of Symbolic Computation Systems
- Domínguez, C.
- Duval, D.
- Lambán, L.
- Rubio, J.
ISSN: 1862-4405
Any de publicació: 2006
Mathematics, Algorithms, Proofs 2005
Volum: 5021
Tipus: Aportació congrés
Actes:
Dagstuhl Seminar Proceedings