Articulo de referencia

Computación simbólica y de orden superior

Higher-Order and Symbolic Computation (anteriormente LISP and Symbolic Computation ) era una revista de informática publicada por Springer Science+Business Media . Se centraba e...

Higher-Order and Symbolic Computation (anteriormente LISP and Symbolic Computation ) era una revista de informática publicada por Springer Science+Business Media . Se centraba en conceptos y abstracciones de programación, así como en la teoría de lenguajes de programación . El último número se publicó en 2013.

Editores

Los anteriores redactores jefes de la revista han sido:

Los últimos redactores jefes fueron Olivier Danvy ( Universidad de Aarhus ) y Carolyn Talcott ( SRI International ).

Resumen e indexación

La revista está resumida e indexada en Academic OneFile , ACM Computing Reviews , ACM Digital Library , Computer Abstracts International Database , Computer Science Index , Current Abstracts , EBSCO , EI-Compendex , INSPEC , io-port.net , PASCAL , Scopus , Summon by Serial Solutions , VINITI Database RAS y Zentralblatt MATH .

Véase también

  • Sitio web oficial
  • Página de la revista archivada el 4 de junio de 2011 en la Wayback Machine de la Universidad de Aarhus.
  • Acceso en línea
  • Computación simbólica y de orden superior en DBLP
  • La colección de bibliografías de informática archivada el 7 de agosto de 2011 en la Wayback Machine.