Algebraic implementation of abstract data types: A survey of concepts and new compositionality results

  1. Orejas, F.
  2. Navarro, M.
  3. Sánchez, A.
Revista:
Mathematical Structures in Computer Science

ISSN: 0960-1295

Año de publicación: 1996

Volumen: 6

Número: 1

Páginas: 33-67

Tipo: Artículo

DOI: 10.1017/S0960129500000864 GOOGLE SCHOLAR
Fuente de los datos: Scopus