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

Ano de publicación: 1999

Volume: 40

Número: 1

Páxinas: 47-87

Tipo: Artigo

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