Higher-Order and Symbolic: Editorial

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

ISSN: 1388-3690

Year of publication: 2007

Volume: 20

Issue: 1-2

Pages: 1-2

Type: Editorial

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