Towards Diagrammatic Specifications of Symbolic Computation Systems

  1. Domínguez, C.
  2. Duval, D.
  3. Lambán, L.
  4. Rubio, J.
Proceedings:
Dagstuhl Seminar Proceedings

ISSN: 1862-4405

Year of publication: 2006

Mathematics, Algorithms, Proofs 2005

Volume: 5021

Type: Conference paper

GOOGLE SCHOLAR
Data source: Scopus