Higher-Order and Symbolic: Editorial

  1. Martí-Oliet, N.
  2. Roşu, G.
  3. Talcott, C.
Revista:
Higher-Order and Symbolic Computation

ISSN: 1388-3690

Año de publicación: 2007

Volumen: 20

Número: 1-2

Páginas: 1-2

Tipo: Editorial

DOI: 10.1007/S10990-007-9005-1 GOOGLE SCHOLAR
Fuente de los datos: Scopus