Approach to declarative programming based on a rewriting logic

  1. González-Moreno, J.C.
  2. Hortalá-González, M.T.
  3. López-Fraguas, F.J.
  4. Rodríguez-Artalejo, M.
Revista:
Journal of Logic Programming

ISSN: 0743-1066

Año de publicación: 1999

Volumen: 40

Número: 1

Páginas: 47-87

Tipo: Artículo

DOI: 10.1016/S0743-1066(98)10029-8 GOOGLE SCHOLAR lock_openAcceso abierto editor