Higher-Order and Symbolic: Editorial

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

ISSN: 1388-3690

Datum der Publikation: 2007

Ausgabe: 20

Nummer: 1-2

Seiten: 1-2

Art: Verlag

DOI: 10.1007/S10990-007-9005-1 GOOGLE SCHOLAR
Datenquelle: Scopus