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.
Revue:
Journal of Logic Programming

ISSN: 0743-1066

Année de publication: 1999

Volumen: 40

Número: 1

Pages: 47-87

Type: Article

DOI: 10.1016/S0743-1066(98)10029-8 GOOGLE SCHOLAR lock_openAccès ouvert editor